mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-17 06:52:18 +01:00
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.
This commit is contained in:
parent
db81f52c3a
commit
b6ef902eae
@ -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);
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user