public interface DockableWindowContainer
Modifier and Type | Method and Description |
---|---|
boolean |
isVisible(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry) |
void |
register(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry) |
void |
remove(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry) |
void |
show(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry) |
void |
unregister(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry) |
void register(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)
void remove(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)
void unregister(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)
void show(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)
boolean isVisible(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)