Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
CHOICE_PARAMETER |
"choice" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAB_DOCK_TITLE |
"eclipse.tab" |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final java.lang.String |
ANIMATION_KEY_BACKGROUND_BOTTOM |
"bottom" |
protected static final java.lang.String |
ANIMATION_KEY_BACKGROUND_TOP |
"top" |
protected static final java.lang.String |
ANIMATION_KEY_TEXT |
"text" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ANIMATION_KEY_KNOB_HIGHLIGHT |
"knob.highlight" |
public static final java.lang.String |
ANIMATION_KEY_KNOB_SHADOW |
"knob.shadow" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
BOTTOM_LEFT |
4 |
public static final int |
BOTTOM_RIGHT |
8 |
public static final int |
TOP_LEFT |
1 |
public static final int |
TOP_RIGHT |
2 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
BOTTOM_LEFT |
4 |
public static final int |
BOTTOM_RIGHT |
8 |
public static final int |
TOP_LEFT |
1 |
public static final int |
TOP_RIGHT |
2 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
DOCKABLE_KEY_PREFIX |
"dockable" |
public static final java.lang.String |
ROOT_KEY_PREFIX |
"root" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
OVERFLOW_MENU_ICON |
"overflow.menu" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
BUTTON_TITLE_ID |
"flap button" |
public static final java.lang.String |
DISPLAYER_ID |
"flap" |
public static final java.lang.String |
WINDOW_TITLE_ID |
"flap window" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
DISPLAYER_ID |
"screen" |
public static final java.lang.String |
EXTENSION_PARAM |
"station" |
public static final java.lang.String |
TITLE_ID |
"screen dock" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
DISPLAYER_ID |
"split" |
public static final java.lang.String |
TITLE_ID |
"split" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
DISPLAYER_ID |
"stack" |
public static final java.lang.String |
TITLE_ID |
"stack" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
EXTENSION_PARAM |
"relocator" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ID |
"DefaultDockableFactory" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
FLAG_HIERARCHY |
32 |
public static final int |
FLAG_LOCATION_CHANGED |
1 |
public static final int |
FLAG_PARENT_LOCATION_CHANGED |
2 |
public static final int |
FLAG_PARENT_SELECTION |
16 |
public static final int |
FLAG_SELECTION |
8 |
public static final int |
FLAG_SHOWING |
4 |
public static final int |
FLAG_VISIBILITY |
4 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
EXTENSION_PARAM |
"situation" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
FACTORY_EXTENSION_PARAMETER |
"transformer" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
DISPLAYER_EXTENSION_ID |
"name" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ID |
"flap dock" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ID |
"flap dock" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ID |
"screen dock" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ID |
"screen dock" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
CONFIGURATION_EXTENSION_PARAM |
"configuration" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ID |
"SplitDockFullScreenPropertyFactory" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ID |
"SplitDockPathProperty" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ID |
"SplitDockPlaceholderProperty" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ID |
"SplitDockPropertyFactory" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ID |
"SplitDockStationFactory" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ID |
"StackDockPropertyFactory" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ID |
"StackDockStationFactory" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
COLOR_SCHEME_PARAMETER |
"scheme" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
THEME_PARAMETER |
"theme" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
BACKGROUND_PAINT |
"dock.background" |
public static final java.lang.String |
BORDER_MODIFIER |
"dock.border" |
public static final java.lang.String |
COMBINER |
"dock.combiner" |
public static final java.lang.String |
DISPLAYER_FACTORY |
"dock.displayer" |
public static final java.lang.String |
SPAN_FACTORY |
"dock.spanFactory" |
public static final java.lang.String |
STATION_PAINT |
"dock.paint" |
Modifier and Type | Constant Field | Value |
---|---|---|
protected final int |
KNOB_SIZE |
10 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
BORDER_KEY_MOUSE_OVER |
"dock.border.action.miniButton.mouseOver" |
public static final java.lang.String |
BORDER_KEY_MOUSE_OVER_SELECTED |
"dock.border.action.miniButton.mouseOver.selected" |
public static final java.lang.String |
BORDER_KEY_MOUSE_PRESSED |
"dock.border.action.miniButton.mousePressed" |
public static final java.lang.String |
BORDER_KEY_MOUSE_PRESSED_SELECTED |
"dock.border.action.miniButton.mousePressed.selected" |
public static final java.lang.String |
BORDER_KEY_NORMAL |
"dock.border.action.miniButton.normal" |
public static final java.lang.String |
BORDER_KEY_NORMAL_SELECTED |
"dock.border.action.miniButton.normal.selected" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ICON_KEY |
"dock.dropdown.icon" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ICON_KEY |
"dock.menu.overflow" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
THEME_FACTORY_ID |
"theme" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
DOCK_TITLE_VERSION_EXTENSION_PARAMETER |
"version" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT_EXTENSION_LOCALE |
"locale" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ID_BUTTON |
"button" |
public static final java.lang.String |
ID_FLAP_BUTTON_ACTIVE |
"title.flap.active" |
public static final java.lang.String |
ID_FLAP_BUTTON_INACTIVE |
"title.flap.inactive" |
public static final java.lang.String |
ID_FLAP_BUTTON_SELECTED |
"title.flap.selected" |
public static final java.lang.String |
ID_TAB_FOCUSED |
"tab.focused" |
public static final java.lang.String |
ID_TAB_SELECTED |
"tab.selected" |
public static final java.lang.String |
ID_TAB_UNSELECTED |
"tab.unselected" |
public static final java.lang.String |
ID_TITLE_ACTIVE |
"title.active" |
public static final java.lang.String |
ID_TITLE_INACTIVE |
"title.inactive" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
CONTROL_SHADOW |
"dock.control.shadow" |
public static final java.lang.String |
PANEL_BACKGROUND |
"dock.background" |
public static final java.lang.String |
PANEL_FOREGROUND |
"dock.foreground" |
public static final java.lang.String |
SELECTION |
"dock.selection.background" |
public static final java.lang.String |
TITLE_BACKGROUND |
"dock.title.background" |
public static final java.lang.String |
TITLE_FOREGROUND |
"dock.title.foreground" |
public static final java.lang.String |
TITLE_SELECTION_BACKGROUND |
"dock.title.selection.background" |
public static final java.lang.String |
TITLE_SELECTION_FOREGROUND |
"dock.title.selection.foreground" |
public static final java.lang.String |
WINDOW_BORDER |
"dock.window.border" |