Skip to content

Commit 0757967

Browse files
committed
Merge pull request #2907 from PaulStoffregen/tools-menu-show-settings
Show sub-menu settings in Tools menu
2 parents ca5f1d4 + 750534f commit 0757967

File tree

1 file changed

+26
-0
lines changed

1 file changed

+26
-0
lines changed

app/src/processing/app/Editor.java

Lines changed: 26 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -739,6 +739,32 @@ public void menuDeselected(MenuEvent e) {}
739739
public void menuSelected(MenuEvent e) {
740740
//System.out.println("Tools menu selected.");
741741
populatePortMenu();
742+
for (Component c : toolsMenu.getMenuComponents()) {
743+
if ((c instanceof JMenu) && c.isVisible()) {
744+
JMenu menu = (JMenu)c;
745+
String name = menu.getText();
746+
if (name == null) continue;
747+
String basename = name;
748+
int index = name.indexOf(':');
749+
if (index > 0) basename = name.substring(0, index);
750+
String sel = null;
751+
int count = menu.getItemCount();
752+
for (int i=0; i < count; i++) {
753+
JMenuItem item = menu.getItem(i);
754+
if (item != null && item.isSelected()) {
755+
sel = item.getText();
756+
if (sel != null) break;
757+
}
758+
}
759+
if (sel == null) {
760+
if (!name.equals(basename)) menu.setText(basename);
761+
} else {
762+
if (sel.length() > 17) sel = sel.substring(0, 16) + "...";
763+
String newname = basename + ": \"" + sel + "\"";
764+
if (!name.equals(newname)) menu.setText(newname);
765+
}
766+
}
767+
}
742768
}
743769
});
744770

0 commit comments

Comments
 (0)