void unsetPanelShowingProperty(String item) { String s = pStr2Key(item); visiblePanels.remove(s); }
void unsetExpandedStateProperty(String item) { String s = pStr2Key(item); expandedNodes.remove(s); propertiesChanged=true; }
void setExpandedStateProperty(String item) { String s = pStr2Key(item); expandedNodes.addElement(s); propertiesChanged=true; }
boolean hasPanelShowingProperty(String item) { String s = pStr2Key(item); return visiblePanels.contains(s); }
void setExpandedStateProperty(String item) { String s = pStr2Key(item); expandedNodes.addElement(s); propertiesChanged=true; }
boolean hasExpandedStateProperty(String item) { String s = pStr2Key(item); return expandedNodes.contains(s); }
void unsetExpandedStateProperty(String item) { String s = pStr2Key(item); expandedNodes.remove(s); propertiesChanged=true; }
boolean hasPanelShowingProperty(String item) { String s = pStr2Key(item); return visiblePanels.contains(s); }
void unsetPanelShowingProperty(String item) { String s = pStr2Key(item); visiblePanels.remove(s); }
boolean hasExpandedStateProperty(String item) { String s = pStr2Key(item); return expandedNodes.contains(s); }
void setPanelShowingProperty(String item) { String s = pStr2Key(item); if (!(visiblePanels.contains(s))) visiblePanels.addElement(s); propertiesChanged=true; }
void setPanelShowingProperty(String item) { String s = pStr2Key(item); if (!(visiblePanels.contains(s))) visiblePanels.addElement(s); propertiesChanged=true; }
boolean hasPanelForNode(DefaultMutableTreeNode node) { TreePath path = new TreePath(node.getPath()); return panels.containsKey(pStr2Key(path.toString())); }
boolean hasPanelForNode(DefaultMutableTreeNode node) { TreePath path = new TreePath(node.getPath()); return panels.containsKey(pStr2Key(path.toString())); }
void recordGeometry(TreePanel panel) { String pTitle = panel.getRootPath().toString(); pTitle = pStr2Key(pTitle); JFrame frame = panel.getFrame(); if (frame!=null) { Rectangle rect=frame.getBounds(); String xCoord = (new Integer(rect.x)).toString(); String yCoord = (new Integer(rect.y)).toString(); String width = (new Integer(rect.width)).toString(); String height = (new Integer(rect.height)).toString(); if (pTitle.equals("Control_Panel")) pTitle = "Control_Panel.@Main"; String geometry = xCoord+" "+yCoord+" "+width+" "+height; if (IJ.debugMode) IJ.log("CP.recordGeometry: "+pTitle+" "+geometry); Prefs.set(pTitle, geometry); } }
void registerPanel(TreePanel panel) { String key = pStr2Key(panel.getRootPath().toString()); panels.put(key,panel); setPanelShowingProperty(panel.getRootPath().toString()); propertiesChanged=true; }
void registerPanel(TreePanel panel) { String key = pStr2Key(panel.getRootPath().toString()); panels.put(key,panel); setPanelShowingProperty(panel.getRootPath().toString()); propertiesChanged=true; }
public void treeExpanded(TreeExpansionEvent ev) { TreePath evPath = ev.getPath(); //DefaultMutableTreeNode node = (DefaultMutableTreeNode)evPath.getLastPathComponent(); String evPathString = ev.getPath().toString(); evPathString = pcp.pStr2Key(evPathString); evPathString = evPathString.substring(getTitle().length()+1,evPathString.length()); String rootPath = getRootPath().toString(); rootPath = pcp.pStr2Key(rootPath); //String path = rootPath+"."+evPathString; String path = rootPath+"."+evPathString; if (pcp.hasPanelShowingProperty(path)) { Hashtable panels = pcp.getPanels(); TreePanel p = (TreePanel)panels.get(path); if(p!=null) p.close(); } pcp.setExpandedStateProperty(path); }