public void propertyChange (PropertyChangeEvent evt) { if (ExplorerManager.PROP_SELECTED_NODES.equals (evt.getPropertyName ())) { setNodes ((Node []) evt.getNewValue ()); } } }
public void propertyChange(PropertyChangeEvent evt) { if (ExplorerManager.PROP_SELECTED_NODES.equals(evt.getPropertyName())) { setNodes((Node[]) evt.getNewValue()); } } }
public void propertyChange (PropertyChangeEvent evt) { if (ExplorerManager.PROP_SELECTED_NODES.equals (evt.getPropertyName ())) { setNodes ((Node []) evt.getNewValue ()); } } }
public void removeNotify () { super.removeNotify (); if (explorerManager != null) { //[PENDING] patch for bug in JDK1.3 Window // (doublecall destroy()&removeNotify() for // destroyed, but no garbagecollected windows explorerManager.removePropertyChangeListener(managerListener); explorerManager = null; setNodes (new Node[0]); } }
public void removeNotify () { super.removeNotify (); if (explorerManager != null) { //[PENDING] patch for bug in JDK1.3 Window // (doublecall destroy()&removeNotify() for // destroyed, but no garbagecollected windows explorerManager.removePropertyChangeListener(managerListener); explorerManager = null; setNodes (new Node[0]); } }
public void removeNotify() { super.removeNotify(); if (explorerManager != null) { //[PENDING] patch for bug in JDK1.3 Window explorerManager.removePropertyChangeListener(managerListener); explorerManager = null; setNodes(new Node[0]); } }
public void addNotify() { super.addNotify(); explorerManager = ExplorerManager.find(this); if (!guiInitialized) { initializeGUI(); } // add propertyChange listeners to the explorerManager explorerManager.addPropertyChangeListener(managerListener); setNodes(explorerManager.getSelectedNodes()); }
public void addNotify () { super.addNotify (); explorerManager = ExplorerManager.find (this); if (!guiInitialized) initializeGUI(); // add propertyChange listeners to the explorerManager explorerManager.addPropertyChangeListener(managerListener); setNodes (explorerManager.getSelectedNodes ()); }
public void addNotify () { super.addNotify (); explorerManager = ExplorerManager.find (this); if (!guiInitialized) initializeGUI(); // add propertyChange listeners to the explorerManager explorerManager.addPropertyChangeListener(managerListener); setNodes (explorerManager.getSelectedNodes ()); }