renamed some menu items

jkboyce · Aug 28, 2020 · 78bfbdc · 78bfbdc
1 parent df1d4aa
commit 78bfbdc
Show file tree

Hide file tree

Showing 6 changed files with 21 additions and 21 deletions.
diff --git a/source/jugglinglab/core/PatternWindow.java b/source/jugglinglab/core/PatternWindow.java
@@ -110,7 +110,7 @@ protected JMenu createFileMenu() {
     }
 
     protected static final String[] viewItems = new String[]
-        { "Simple", "Visual editor", "Selection editor", "JML editor", null,
+        { "Simple", "Visual Editor", "Selection Editor", "JML Editor", null,
           "Restart", "Animation Preferences..." };
     protected static final String[] viewCommands = new String[]
         { "simple", "edit", "selection", "jml", null, "restart", "prefs" };

diff --git a/source/resources/GUIStrings.properties b/source/resources/GUIStrings.properties
@@ -67,13 +67,13 @@ Patterns = Patterns
 View = View
 Save_Animated_GIF_As... = Save Animated GIF As...
 Duplicate = Duplicate
-Optimize = Optimize
+Optimize = Optimize for Throwing Error
 Restart = Restart
 Animation_Preferences... = Animation Preferences...
 Simple = Simple
-Visual_editor = Visual editor
-Selection_editor = Selection editor
-JML_editor = JML editor
+Visual_Editor = Visual Editor
+Selection_Editor = Selection Editor
+JML_Editor = JML Editor
 Animation_Preferences = Animation Preferences
 Solid_3D_display = Solid 3D display
 Width = Width

diff --git a/source/resources/GUIStrings_es.properties b/source/resources/GUIStrings_es.properties
@@ -70,13 +70,13 @@ Save_Animated_GIF_As... = Guardar GIF Animado Como...
 # Save_HTML_As... = Guardar HTML Como...
 # Save_to_Server = Guardar en Servidor
 Duplicate = Duplicate
-Optimize = Optimize
+Optimize = Optimize for Throwing Error
 Restart = Recomenzar
 Animation_Preferences... = Preferéncias de Animación...
 Simple = Simples
-Visual_editor = Editor visual
-Selection_editor = Editor de seleccíon
-JML_editor = Editor de JML
+Visual_Editor = Editor Visual
+Selection_Editor = Editor de Seleccíon
+JML_Editor = Editor de JML
 Animation_Preferences = Preferéncias de Animación
 Solid_3D_display = Animación 3D sólida
 Width = Anchura

diff --git a/source/resources/GUIStrings_fr.properties b/source/resources/GUIStrings_fr.properties
@@ -67,13 +67,13 @@ Patterns = Figures
 View = Voir
 Save_Animated_GIF_As... = Enregistrer le gif animé sous...
 Duplicate = Dupliquer
-Optimize = Optimize
+Optimize = Optimize for throwing error
 Restart = Redémarrer
 Animation_Preferences... = Préférences d'animation...
 Simple = Simple
-Visual_editor = Editeur visuel
-Selection_editor = Editeur de sélection
-JML_editor = Editeur JML
+Visual_Editor = Editeur visuel
+Selection_Editor = Editeur de sélection
+JML_Editor = Editeur JML
 Animation_Preferences = Préférences d'animation
 Solid_3D_display = Affichage 3D pleine
 Width = Largeur

diff --git a/source/resources/GUIStrings_he.properties b/source/resources/GUIStrings_he.properties
@@ -69,13 +69,13 @@ Patterns = Patterns
 View = View
 Save_Animated_GIF_As... = Save Animated GIF As...
 Duplicate = Duplicate
-Optimize = Optimize
+Optimize = Optimize for Throwing Error
 Restart = Restart
 Animation_Preferences... = Animation Preferences...
 Simple = Simple
-Visual_editor = Visual editor
-Selection_editor = Selection editor
-JML_editor = JML editor
+Visual_Editor = Visual Editor
+Selection_Editor = Selection Editor
+JML_Editor = JML Editor
 Animation_Preferences = Animation Preferences
 Width = Width
 Height = Height

diff --git a/source/resources/GUIStrings_pt.properties b/source/resources/GUIStrings_pt.properties
@@ -70,13 +70,13 @@ Save_Animated_GIF_As... = Guardar GIF Animado Como...
 # Save_HTML_As... = Guardar HTML Como...
 # Save_to_Server = Guardar em Servidor
 Duplicate = Duplicate
-Optimize = Optimize
+Optimize = Optimize for Throwing Error
 Restart = Recomeçar
 Animation_Preferences... = Preferéncias de Animação...
 Simple = Simples
-Visual_editor = Editor visual
-Selection_editor = Editor de seleção
-JML_editor = Editor de JML
+Visual_Editor = Editor Visual
+Selection_Editor = Editor de Seleção
+JML_Editor = Editor de JML
 Animation_Preferences = Preferéncias de Animação
 Solid_3D_display = Animação 3D sólida
 Width = Largura