Modifiers | Name | Description |
---|---|---|
static java.awt.Color |
BORDER_COLOR |
|
static java.awt.Dimension |
BUTTON_PREFERRED_SIZE |
|
static java.lang.String |
DATE_LOCAL_PATTERN |
|
static java.lang.String |
DATE_MEDIUM_LOCAL_PATTERN |
|
static int |
DEFAULT_MARGIN_WIDTH |
|
static boolean |
INITIAL_VIEW_INSPECTOR_MENU_VALUE |
|
static java.awt.Dimension |
INSPECTOR_ASSERTION_SECTION_PREFERRED_SIZE |
|
static java.awt.Dimension |
INSPECTOR_EDITOR_PREFERRED_SIZE |
|
static java.awt.Dimension |
INSPECTOR_SECTION_PREFERRED_SIZE |
|
static java.awt.Color |
NAVIGATOR_TREE_WORKSPACE_SELECTION_COLOR |
|
static java.lang.String |
TIME_LOCAL_PATTERN |
|
static java.lang.String |
TIME_SHORT_LOCAL_PATTERN |
|
static java.awt.Color |
TREE_AND_TABLE_SELECTION_COLOR |
|
static java.awt.Color |
UNFOCUSED_BACKGROUND_SELECTION_COLOR |
Methods inherited from class | Name |
---|---|
class java.lang.Object |
java.lang.Object#wait(long), java.lang.Object#wait(long, int), java.lang.Object#wait(), java.lang.Object#equals(java.lang.Object), java.lang.Object#toString(), java.lang.Object#hashCode(), java.lang.Object#getClass(), java.lang.Object#notify(), java.lang.Object#notifyAll() |