From 78bfbdc438c47ab31e0cb6ecd282fbb027bc8e4a Mon Sep 17 00:00:00 2001
From: Jack Boyce <jboyce@gmail.com>
Date: Fri, 28 Aug 2020 16:20:07 -0700
Subject: [PATCH] renamed some menu items

---
 source/jugglinglab/core/PatternWindow.java | 2 +-
 source/resources/GUIStrings.properties     | 8 ++++----
 source/resources/GUIStrings_es.properties  | 8 ++++----
 source/resources/GUIStrings_fr.properties  | 8 ++++----
 source/resources/GUIStrings_he.properties  | 8 ++++----
 source/resources/GUIStrings_pt.properties  | 8 ++++----
 6 files changed, 21 insertions(+), 21 deletions(-)

diff --git a/source/jugglinglab/core/PatternWindow.java b/source/jugglinglab/core/PatternWindow.java
index 595d770..d57fd59 100755
--- 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
index 242ba7b..81cd705 100644
--- 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
index 734283d..2e626ef 100644
--- 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
index ad27a6c..5fa393b 100644
--- 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
index 6000ed7..3b86703 100644
--- 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
index c976152..1bcc1a5 100644
--- 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