public class DockingHelper
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.util.List<java.lang.String> |
LEFT_PANEL |
static java.util.List<java.lang.String> |
LEFT_TOP_PANEL |
static java.util.List<java.lang.String> |
MAIN_PANEL |
static java.util.List<java.lang.String> |
RIGHT_PANEL |
Constructor and Description |
---|
DockingHelper() |
Modifier and Type | Method and Description |
---|---|
static bibliothek.gui.dock.common.SingleCDockable |
createSingleDock(java.lang.String title,
javax.swing.JComponent component)
Constructs a dockable for the given component.
|
static bibliothek.gui.dock.common.SingleCDockable |
createSingleDock(java.lang.String title,
javax.swing.JComponent component,
java.lang.String id) |
static bibliothek.gui.dock.common.SingleCDockable |
createSingleDock(TabPanel p) |
static void |
restoreFactoryDefault(MainWindow mainWindow)
Sets the current layout of the docking framework back to factory default.
|
static bibliothek.gui.dock.common.action.CAction |
translateAction(javax.swing.Action action) |
public static final java.util.List<java.lang.String> LEFT_TOP_PANEL
public static final java.util.List<java.lang.String> RIGHT_PANEL
public static final java.util.List<java.lang.String> LEFT_PANEL
public static final java.util.List<java.lang.String> MAIN_PANEL
public static void restoreFactoryDefault(MainWindow mainWindow)
We distinguish between four areas: left-top, left(-bottom), main, right.
This methods goes through all dockables, and attach them to one of these areas,
according to static fields above. The id
field is used for identification,
which is currently determined by the class name.
mainWindow
- LEFT_PANEL
,
LEFT_TOP_PANEL
,
MAIN_PANEL
,
RIGHT_PANEL
,
createSingleDock(String, JComponent)
,
createSingleDock(TabPanel)
public static bibliothek.gui.dock.common.SingleCDockable createSingleDock(java.lang.String title, javax.swing.JComponent component)
title
- a non-null, non-empty title for this dockcomponent
- a non-null component to showDefaultSingleCDockable
createSingleDock(TabPanel)
public static bibliothek.gui.dock.common.SingleCDockable createSingleDock(java.lang.String title, javax.swing.JComponent component, java.lang.String id)
public static bibliothek.gui.dock.common.SingleCDockable createSingleDock(TabPanel p)
p
- @Nonnull public static bibliothek.gui.dock.common.action.CAction translateAction(@Nonnull javax.swing.Action action)
Copyright © 2003-2019 The KeY-Project.