Uses of Class
org.gjt.sp.jedit.gui.DockableWindowManager
-
Uses of DockableWindowManager in org.gjt.sp.jedit
Modifier and TypeMethodDescriptionView.getDockableWindowManager()
Returns the dockable window manager associated with this view. -
Uses of DockableWindowManager in org.gjt.sp.jedit.gui
Modifier and TypeClassDescriptionclass
Manages dockable windows for a single View.Modifier and TypeMethodDescriptionDockableWindowManagerProvider.create
(View view, DockableWindowFactory instance, View.ViewConfig config) DockingFrameworkProvider.create
(View view, DockableWindowFactory instance, View.ViewConfig config) -
Uses of DockableWindowManager in org.gjt.sp.jedit.msg
ModifierConstructorDescriptionDockableWindowUpdate
(DockableWindowManager wm, Object what, String dockable) Creates a new dockable window update message.