Package org.processmining.framework.util.ui.widgets

Interface WidgetColors

public interface WidgetColors

Colors used in widgets

Author:

mwesterg

Field Summary

Fields

Modifier and Type	Field	Description
static java.awt.Color	COLOR_ENCLOSURE_BG
static java.awt.Color	COLOR_LIST_BG
static java.awt.Color	COLOR_LIST_FG
static java.awt.Color	COLOR_LIST_SELECTION_BG
static java.awt.Color	COLOR_LIST_SELECTION_FG
static java.awt.Color	COLOR_NON_FOCUS
static java.awt.Color	HEADER_COLOR
static java.awt.Color	PROPERTIES_BACKGROUND
static java.awt.Color	TEXT_COLOR

Field Detail

COLOR_ENCLOSURE_BG

static final java.awt.Color COLOR_ENCLOSURE_BG

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

COLOR_NON_FOCUS

static final java.awt.Color COLOR_NON_FOCUS

HEADER_COLOR

static final java.awt.Color HEADER_COLOR

PROPERTIES_BACKGROUND

static final java.awt.Color PROPERTIES_BACKGROUND

TEXT_COLOR

static final java.awt.Color TEXT_COLOR