fixed Tools menu mnemonic (P->T)
This commit is contained in:
parent
f703965b67
commit
1873904479
|
@ -369,6 +369,7 @@ public class GUI extends Observable {
|
||||||
myDesktopPane = desktop;
|
myDesktopPane = desktop;
|
||||||
if (menuPlugins == null) {
|
if (menuPlugins == null) {
|
||||||
menuPlugins = new JMenu("Tools");
|
menuPlugins = new JMenu("Tools");
|
||||||
|
menuPlugins.setMnemonic(KeyEvent.VK_T);
|
||||||
menuPlugins.removeAll();
|
menuPlugins.removeAll();
|
||||||
|
|
||||||
/* COOJA/GUI plugins at top, simulation plugins in middle, mote plugins at bottom */
|
/* COOJA/GUI plugins at top, simulation plugins in middle, mote plugins at bottom */
|
||||||
|
@ -785,7 +786,6 @@ public class GUI extends Observable {
|
||||||
public void menuCanceled(MenuEvent e) {
|
public void menuCanceled(MenuEvent e) {
|
||||||
}
|
}
|
||||||
});
|
});
|
||||||
menu.setMnemonic(KeyEvent.VK_T);
|
|
||||||
menuBar.add(menu);
|
menuBar.add(menu);
|
||||||
|
|
||||||
// Mote type classes sub menu
|
// Mote type classes sub menu
|
||||||
|
@ -921,7 +921,7 @@ public class GUI extends Observable {
|
||||||
} else {
|
} else {
|
||||||
menuPlugins.setText("Tools");
|
menuPlugins.setText("Tools");
|
||||||
}
|
}
|
||||||
menuPlugins.setMnemonic(KeyEvent.VK_P);
|
menuPlugins.setMnemonic(KeyEvent.VK_T);
|
||||||
menuBar.add(menuPlugins);
|
menuBar.add(menuPlugins);
|
||||||
menuPlugins.addMenuListener(new MenuListener() {
|
menuPlugins.addMenuListener(new MenuListener() {
|
||||||
public void menuSelected(MenuEvent e) {
|
public void menuSelected(MenuEvent e) {
|
||||||
|
|
Loading…
Reference in a new issue