/** Updates titles of all editors. */ protected void updateTitles() { Enumeration en = allEditors.getComponents(); while (en.hasMoreElements()) { CloneableTopComponent o = (CloneableTopComponent) en.nextElement(); Pane e = (Pane) o.getClientProperty(PROP_PANE); if ((e == null) && o instanceof Pane) { e = (Pane) o; } if (e != null) { e.updateName(); } else { throw new IllegalStateException("No reference to Pane. Please file a bug against openide/text"); } } }
/** Updates titles of all editors. */ protected void updateTitles () { Enumeration en = allEditors.getComponents (); while (en.hasMoreElements()) { CloneableTopComponent o = (CloneableTopComponent)en.nextElement(); Pane e = (Pane)o.getClientProperty(PROP_PANE); if (e == null && o instanceof Pane) { e = (Pane)o; } if (e != null) { e.updateName(); } else { throw new IllegalStateException("No reference to Pane. Please file a bug against openide/text"); } } }
/** Updates titles of all editors. */ protected void updateTitles () { Enumeration en = allEditors.getComponents (); while (en.hasMoreElements()) { CloneableTopComponent o = (CloneableTopComponent)en.nextElement(); Pane e = (Pane)o.getClientProperty(PROP_PANE); if (e == null && o instanceof Pane) { e = (Pane)o; } if (e != null) { e.updateName(); } else { throw new IllegalStateException("No reference to Pane. Please file a bug against openide/text"); } } }
public void updateName () { JComponent view = getView (); if (view instanceof CloneableEditorSupport.Pane) ((CloneableEditorSupport.Pane) view).updateName (); }