Package | Description |
---|---|
de.uka.ilkd.key.gui.colors | |
de.uka.ilkd.key.gui.nodeviews | |
de.uka.ilkd.key.gui.prooftree |
Modifier and Type | Method and Description |
---|---|
static ColorSettings.ColorProperty |
ColorSettings.define(java.lang.String key,
java.lang.String desc,
java.awt.Color color) |
Modifier and Type | Method and Description |
---|---|
java.util.stream.Stream<ColorSettings.ColorProperty> |
ColorSettings.getProperties() |
Modifier and Type | Field and Description |
---|---|
static ColorSettings.ColorProperty |
CurrentGoalView.ADDITIONAL_HIGHLIGHT_COLOR |
static ColorSettings.ColorProperty |
CurrentGoalView.DEFAULT_HIGHLIGHT_COLOR |
static ColorSettings.ColorProperty |
CurrentGoalView.DND_HIGHLIGHT_COLOR |
static ColorSettings.ColorProperty |
SequentViewSearchBar.SEARCH_HIGHLIGHT_COLOR_1 |
static ColorSettings.ColorProperty |
SequentViewSearchBar.SEARCH_HIGHLIGHT_COLOR_2 |
Modifier and Type | Field and Description |
---|---|
static ColorSettings.ColorProperty |
ProofTreeView.BISQUE_COLOR |
static ColorSettings.ColorProperty |
ProofTreeView.DARK_BLUE_COLOR |
static ColorSettings.ColorProperty |
ProofTreeView.DARK_GREEN_COLOR |
static ColorSettings.ColorProperty |
ProofTreeView.DARK_RED_COLOR |
static ColorSettings.ColorProperty |
ProofTreeView.GRAY_COLOR |
static ColorSettings.ColorProperty |
ProofTreeView.LIGHT_BLUE_COLOR |
static ColorSettings.ColorProperty |
ProofTreeView.ORANGE_COLOR |
static ColorSettings.ColorProperty |
ProofTreeView.PINK_COLOR |
Copyright © 2003-2019 The KeY-Project.