org.processmining.framework.util.ui.widgets
Interface WidgetColors
public interface WidgetColors
Colors used in widgets
- Author:
- mwesterg
COLOR_ENCLOSURE_BG
static final java.awt.Color COLOR_ENCLOSURE_BG
COLOR_NON_FOCUS
static final java.awt.Color COLOR_NON_FOCUS
COLOR_LIST_BG
static final java.awt.Color COLOR_LIST_BG
COLOR_LIST_FG
static final java.awt.Color COLOR_LIST_FG
COLOR_LIST_SELECTION_BG
static final java.awt.Color COLOR_LIST_SELECTION_BG
COLOR_LIST_SELECTION_FG
static final java.awt.Color COLOR_LIST_SELECTION_FG
PROPERTIES_BACKGROUND
static final java.awt.Color PROPERTIES_BACKGROUND
HEADER_COLOR
static final java.awt.Color HEADER_COLOR
TEXT_COLOR
static final java.awt.Color TEXT_COLOR