org.gjt.sp.jedit.gui.DockableWindowFactory.getDockableWindowPluginClass(String) org.gjt.sp.jedit.gui.DockableWindowManager.getDockableWindowPluginName(String) org.gjt.sp.jedit.options.DockingOptionPane._init() org.gjt.sp.jedit.options.DockingOptionPane.createDockingOptionsPanel() org.gjt.sp.jedit.options.WindowTableModel.WindowTableModel() org.gjt.sp.jedit.options.WindowTableModel.getDockableSets() org.gjt.sp.jedit.options.WindowTableModel.showSet(String)