From 27b8048fc60e09503825d0fdf77a5ea9ba656d7a Mon Sep 17 00:00:00 2001
From: Shigeru KANEMOTO <sgk@switch-science.com>
Date: Sun, 11 Nov 2012 14:57:40 +0900
Subject: [PATCH] "Boards" must be wrapped in _(...) call.

For internationalization, the word "Boards" must be wrapped directly in
_(...) call. The call was done in makeOrGetBoardMenu(). However, the second
call to makeOrGetBoardMenu() has the argument already wrapped by _(...).
---
 app/src/processing/app/Base.java | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/app/src/processing/app/Base.java b/app/src/processing/app/Base.java
index 01af9e348..4ff254adc 100644
--- a/app/src/processing/app/Base.java
+++ b/app/src/processing/app/Base.java
@@ -1124,7 +1124,7 @@ public class Base {
   }
 
   public void rebuildBoardsMenu(JMenu toolsMenu, final Editor editor) {
-    JMenu boardsMenu = makeOrGetBoardMenu(toolsMenu, "Board");
+    JMenu boardsMenu = makeOrGetBoardMenu(toolsMenu, _("Board"));
 
     String selPackage = Preferences.get("target_package");
     String selPlatform = Preferences.get("target_platform");
@@ -1287,13 +1287,12 @@ public class Base {
   }
 
   private JMenu makeOrGetBoardMenu(JMenu toolsMenu, String label) {
-    String i18nLabel = _(label);
     for (JMenu menu : Editor.boardsMenus) {
-      if (i18nLabel.equals(menu.getText())) {
+      if (label.equals(menu.getText())) {
         return menu;
       }
     }
-    JMenu menu = new JMenu(i18nLabel);
+    JMenu menu = new JMenu(label);
     Editor.boardsMenus.add(menu);
     toolsMenu.add(menu);
     return menu;