/** * Get or create a component displaying the node properties. * Only to be called if hasProperties() is true; */ public JComponent getPropertiesComponent() { // Refresh to update cid addresses later. refresh(false); if(propcomp==null) { propcomp = new ComponentProperties(); } propcomp.setDescription(desc); return propcomp; }