Revision: 6460
http://sourceforge.net/p/jump-pilot/code/6460
Author: edso
Date: 2020-09-13 18:28:24 +0000 (Sun, 13 Sep 2020)
Log Message:
-----------
minor beautification of the custom menu item listing, show icons of toolbox
instead of the checkbox, if the plugins have any
Modified Paths:
--------------
core/trunk/src/com/vividsolutions/jump/workbench/ui/plugin/BeanShellPlugIn.java
core/trunk/src/com/vividsolutions/jump/workbench/ui/toolbox/ToolboxPlugIn.java
Modified:
core/trunk/src/com/vividsolutions/jump/workbench/ui/plugin/BeanShellPlugIn.java
===================================================================
---
core/trunk/src/com/vividsolutions/jump/workbench/ui/plugin/BeanShellPlugIn.java
2020-09-13 16:51:40 UTC (rev 6459)
+++
core/trunk/src/com/vividsolutions/jump/workbench/ui/plugin/BeanShellPlugIn.java
2020-09-13 18:28:24 UTC (rev 6460)
@@ -27,7 +27,7 @@
public void initialize(PlugInContext context) throws Exception {
// [Michael Michaud 2007-03-23]
// Moves MenuNames.TOOLS/MenuNames.TOOLS_PROGRAMMING to MenuNames.CUSTOMIZE
- createMainMenuItem(new String[] { MenuNames.CUSTOMIZE }, null,
+ createMainMenuItem(new String[] { MenuNames.CUSTOMIZE }, getIcon(),
context.getWorkbenchContext());
}
Modified:
core/trunk/src/com/vividsolutions/jump/workbench/ui/toolbox/ToolboxPlugIn.java
===================================================================
---
core/trunk/src/com/vividsolutions/jump/workbench/ui/toolbox/ToolboxPlugIn.java
2020-09-13 16:51:40 UTC (rev 6459)
+++
core/trunk/src/com/vividsolutions/jump/workbench/ui/toolbox/ToolboxPlugIn.java
2020-09-13 18:28:24 UTC (rev 6460)
@@ -94,8 +94,9 @@
*/
public void createMainMenuItem(String[] menuPath, Icon icon,
final WorkbenchContext context) throws Exception {
+ // this has a checkbox prepended if there is no icon
new FeatureInstaller(context).addMainMenuPlugin(this, menuPath, getName()
- + "...", true, icon, getEnableCheck());
+ + "...", (icon == null), icon, getEnableCheck());
}
public EnableCheck getEnableCheck() {
_______________________________________________
Jump-pilot-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
