From a7fc9fd97f9a08eecc74da07f5b0f7a581b347fb Mon Sep 17 00:00:00 2001 From: Daniel Napora Date: Sun, 27 Sep 2020 22:41:13 +0200 Subject: [PATCH] update --- usr/bin/jgmenusettings-pipe | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/usr/bin/jgmenusettings-pipe b/usr/bin/jgmenusettings-pipe index 20d560c..d8ace7a 100755 --- a/usr/bin/jgmenusettings-pipe +++ b/usr/bin/jgmenusettings-pipe @@ -26,8 +26,8 @@ case $LANG in es*) TITLE="Menu/Panel lateral" ICONS="Iconos" - CIRCLE="Circle icons" - SQUARE="Square icons" + CIRCLE="Circilo iconos" + SQUARE="Cuadrado iconos" SHOW_ICONS="Mostrar iconos" HIDE_ICONS="Ocultar iconos" SIZE="Tamaño de Menu/Panel lateral" @@ -38,9 +38,9 @@ case $LANG in HUGE="Muy Grande" FONT_FAMILY="Familia tipográfica" COLOR_SCHEME="Esquema de colores" - EDIT_CURRENT="Edit current" - FOLLOW_OB="Same as OpenBox theme" - CHOOSE="Choose..." + EDIT_CURRENT="Editar el actual" + FOLLOW_OB="Similiar al de Openbox" + CHOOSE="Elegir..." REMOVE="Eliminar este menú del panel" ;; *)