Revision: 6575
http://sourceforge.net/p/jump-pilot/code/6575
Author: edso
Date: 2020-10-04 20:00:17 +0000 (Sun, 04 Oct 2020)
Log Message:
-----------
minor performance enhancement
Modified Paths:
--------------
core/trunk/src/com/vividsolutions/jump/workbench/ui/toolbox/ToolboxPlugIn.java
Modified:
core/trunk/src/com/vividsolutions/jump/workbench/ui/toolbox/ToolboxPlugIn.java
===================================================================
---
core/trunk/src/com/vividsolutions/jump/workbench/ui/toolbox/ToolboxPlugIn.java
2020-10-04 19:00:16 UTC (rev 6574)
+++
core/trunk/src/com/vividsolutions/jump/workbench/ui/toolbox/ToolboxPlugIn.java
2020-10-04 20:00:17 UTC (rev 6575)
@@ -104,9 +104,13 @@
return new EnableCheck() {
// switch checkbox menu item on/off, depending on current visibility
public String check(JComponent component) {
- JDialog tb = getToolbox();
+ //// do not initialize toolbox here, it delays menu opening!
+ // JDialog tb = getToolbox();
+ //// but assume not initialized/null equals not activated :)
+ String name = getName();
+ ToolboxDialog tb = (ToolboxDialog) toolboxMap.get(name);
if (component instanceof JCheckBoxMenuItem)
- ((JCheckBoxMenuItem) component).setSelected(tb.isVisible());
+ ((JCheckBoxMenuItem) component).setSelected(tb!=null &&
tb.isVisible());
return null;
}
};
_______________________________________________
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
