mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-18 07:52:14 +01:00
Update status bar when custom menus change
This commit is contained in:
parent
606604d7d6
commit
3bd694d78b
@ -1187,6 +1187,7 @@ public class Base {
|
||||
Action subAction = new AbstractAction(_(boardCustomMenu.get(customMenuOption))) {
|
||||
public void actionPerformed(ActionEvent e) {
|
||||
Preferences.set("custom_" + menuId, ((TargetBoard)getValue("board")).getId() + "_" + getValue("custom_menu_option"));
|
||||
onBoardOrPortChange();
|
||||
}
|
||||
};
|
||||
subAction.putValue("board", board);
|
||||
|
Loading…
x
Reference in New Issue
Block a user