()
| 597 | } |
| 598 | |
| 599 | void addPluginsMenu() { |
| 600 | String value,label,className; |
| 601 | int index; |
| 602 | //pluginsMenu = new Menu("Plugins"); |
| 603 | pluginsMenu = getMenu("Plugins"); |
| 604 | for (int count=1; count<100; count++) { |
| 605 | value = Prefs.getString("plug-in" + (count/10)%10 + count%10); |
| 606 | if (value==null) |
| 607 | break; |
| 608 | char firstChar = value.charAt(0); |
| 609 | if (firstChar=='-') |
| 610 | pluginsMenu.addSeparator(); |
| 611 | else if (firstChar=='>') { |
| 612 | String submenu = value.substring(2,value.length()-1); |
| 613 | //Menu menu = getMenu("Plugins>" + submenu, true); |
| 614 | Menu menu = addSubMenu(pluginsMenu, submenu); |
| 615 | if (submenu.equals("Shortcuts")) |
| 616 | shortcutsMenu = menu; |
| 617 | else if (submenu.equals("Utilities")) |
| 618 | utilitiesMenu = menu; |
| 619 | else if (submenu.equals("Macros")) |
| 620 | macrosMenu = menu; |
| 621 | } else |
| 622 | addPluginItem(pluginsMenu, value); |
| 623 | } |
| 624 | userPluginsIndex = pluginsMenu.getItemCount(); |
| 625 | if (userPluginsIndex<0) userPluginsIndex = 0; |
| 626 | } |
| 627 | |
| 628 | /** Install plugins using "pluginxx=" keys in IJ_Prefs.txt. |
| 629 | Plugins not listed in IJ_Prefs are added to the end |
no test coverage detected