rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-17 06:52:18 +01:00
Code Issues Releases Activity

fixed java 1.5 compatibility issue

Browse Source
This commit is contained in:
Federico Fissore 2012-12-04 11:59:13 +01:00
parent 527e07b26f
commit 4076baa81c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
app/src/processing/app/Base.java
View File

@ -1232,7 +1232,7 @@ public class Base {
for (final String customMenuOption : boardCustomMenu.getKeys()) { for (final String customMenuOption : boardCustomMenu.getKeys()) {
@SuppressWarnings("serial") @SuppressWarnings("serial")
Action subAction = new AbstractAction(_(boardCustomMenu.getValueOf(customMenuOption))) { Action subAction = new AbstractAction(_(boardCustomMenu.getValueOf(customMenuOption))) {
@Override
public void actionPerformed(ActionEvent e) { public void actionPerformed(ActionEvent e) {
Preferences.set("target_package", (String) getValue("package")); Preferences.set("target_package", (String) getValue("package"));
Preferences.set("target_platform", (String) getValue("platform")); Preferences.set("target_platform", (String) getValue("platform"));