From 49be972ca40ba438e1f6cd4cebcbf5fb8f73ac87 Mon Sep 17 00:00:00 2001 From: "David A. Mellis" Date: Sun, 8 Apr 2012 17:33:52 -0400 Subject: [PATCH] Case correction in preferences dialog. --- app/src/processing/app/Preferences.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/app/src/processing/app/Preferences.java b/app/src/processing/app/Preferences.java index dce590e34..929d29a8e 100644 --- a/app/src/processing/app/Preferences.java +++ b/app/src/processing/app/Preferences.java @@ -318,7 +318,7 @@ public class Preferences { // Preferred language: [ ] (requires restart of Arduino) Container box = Box.createHorizontalBox(); - label = new JLabel(_("Editor Language: ")); + label = new JLabel(_("Editor language: ")); box.add(label); comboLanguage = new JComboBox(languages); comboLanguage.setSelectedIndex((Arrays.asList(languagesISO)).indexOf(Preferences.get("editor.languages.current")));