[gedit-plugins] Fix UI element name



commit 0e64df490ad9de676963d8cd60a1c4a26b6a0f79
Author: Jordi Mas <jmas softcatala org>
Date:   Thu Jul 13 08:27:40 2017 +0200

    Fix UI element name

 plugins/translate/translate/ui/preferences.ui |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/translate/translate/ui/preferences.ui b/plugins/translate/translate/ui/preferences.ui
index 16bc0ed..e7edb59 100644
--- a/plugins/translate/translate/ui/preferences.ui
+++ b/plugins/translate/translate/ui/preferences.ui
@@ -82,7 +82,7 @@
             </child>
             <child>
               <object class="GtkRadioButton" id="output_window">
-                <property name="label" translatable="yes">Output translate window</property>
+                <property name="label" translatable="yes">Translate console (bottom panel)</property>
                 <property name="visible">True</property>
                 <property name="can_focus">True</property>
                 <property name="receives_default">False</property>


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]