Class PanelWindowContainer

  • All Implemented Interfaces:
    DockableWindowManager.DockingArea

    public class PanelWindowContainer
    extends java.lang.Object
    implements DockableWindowManager.DockingArea
    A container for dockable windows. This class should never be used directly.
    Since:
    jEdit 4.0pre1
    Version:
    $Id: PanelWindowContainer.java 21831 2012-06-18 22:54:17Z ezust $
    Author:
    Slava Pestov
    • Constructor Detail

      • PanelWindowContainer

        public PanelWindowContainer​(DockableWindowManagerImpl wm,
                                    java.lang.String position,
                                    int dimension)
    • Method Detail

      • register

        public void register​(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)
      • unregister

        public void unregister​(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)
      • remove

        public void remove​(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)
      • show

        public void show​(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)
      • isVisible

        public boolean isVisible​(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)
      • getDimension

        public int getDimension()
        Returns the width or height (depending on position) of the dockable window container.
        Since:
        jEdit 4.2pre1
      • getPosition

        public java.lang.String getPosition()
        Since:
        jEdit 4.3pre2