(String submenuName)
| 964 | } |
| 965 | |
| 966 | Menu getPluginsSubmenu(String submenuName) { |
| 967 | return getMenu("Plugins>" + submenuName); |
| 968 | } |
| 969 | |
| 970 | String getSubmenuName(String jarPath) { |
| 971 | //IJ.log("getSubmenuName: \n"+jarPath+"\n"+pluginsPath); |
no test coverage detected