From b6ef902eaed87db9936714b1154fd1ff918da525 Mon Sep 17 00:00:00 2001
From: Shigeru KANEMOTO <sgk@switch-science.com>
Date: Sun, 25 Nov 2012 15:48:54 +0900
Subject: [PATCH] Hack to include phrases from "platform.txt".

These phrases from "platform.txt" should be included in the "*.po" files.
  "Arduino AVR Boards"
  "Arduino ARM (32-bits) Boards"
This patch is a hack to do so.
See commit 9e25ad57db.
---
 app/src/processing/app/Base.java | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/app/src/processing/app/Base.java b/app/src/processing/app/Base.java
index 3802fa34a..781a6e1ea 100644
--- a/app/src/processing/app/Base.java
+++ b/app/src/processing/app/Base.java
@@ -1014,7 +1014,14 @@ public class Base {
       PreferencesMap prefs = getTargetPlatform().getPreferences();
       String targetname = prefs.get("name");
 
-      JMenuItem platformItem = new JMenuItem(targetname);
+      if (false) {
+	// Hack to extract these words by gettext tool.
+	// These phrases are actually defined in the "platform.txt".
+	String notused = _("Arduino AVR Boards");
+	notused = _("Arduino ARM (32-bits) Boards");
+      }
+
+      JMenuItem platformItem = new JMenuItem(_(targetname));
       platformItem.setEnabled(false);
       importMenu.add(platformItem);
       if (ideLibs.size()>0) {
@@ -1189,7 +1196,7 @@ public class Base {
         }
         first = false;
         
-        JMenuItem separator = new JMenuItem(targetPlatform.getPreferences().get("name"));
+        JMenuItem separator = new JMenuItem(_(targetPlatform.getPreferences().get("name")));
         separator.setEnabled(false);
         boardsMenu.add(separator);