Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

em.widget

Class EM_THEME_COLORS



Creation

Features

Invariants

indexing

description

Colors of a theme.
All default delegates rely solely on these colors.

Use EM_SHARED_THEME to access the instance used by default delegates.

date

$Date: 2005/10/23 11:07:51 $

revision

$Revision: 1.7 $

class

EM_THEME_COLORS

create

make

-- Initialise default values.

feature -- Access

button_background: EM_COLOR

-- Background color of buttons

button_border: EM_COLOR

-- Border color of buttons

button_text: EM_COLOR

-- Text color of buttons

list_border: EM_COLOR

-- Color of list border

progress_bar_color: EM_COLOR

-- Color of progress

progress_bar_fade: EM_COLOR

-- Fade color of progress bar

selected_background: EM_COLOR

-- Background color of selected elements

selected_text: EM_COLOR

-- Text color of selected elements

standard_background: EM_COLOR

-- Standard background color

standard_text: EM_COLOR

-- Standard text color

tooltip_background: EM_COLOR

-- Background color of tooltip

tooltip_text: EM_COLOR

-- Text color of tooltip

window_background: EM_COLOR

-- Background color of windows / dialogs

window_border: EM_COLOR

-- Color of window border

window_text: EM_COLOR

-- Text color of window

window_title_background: EM_COLOR

-- Background color of window title

window_title_background_fade: EM_COLOR

-- Fade color of window title background

window_title_text: EM_COLOR

-- Text color of window title

feature -- Element change

set_button_background (a_color: like button_text)

-- Set button_background to a_color.

require
a_color_not_void: a_color /= Void
ensure
button_background_set: button_background = a_color
set_button_border (a_color: like button_border)

-- Set button_border to a_color.

require
a_color_not_void: a_color /= Void
ensure
button_border_set: button_border = a_color
set_button_text (a_color: like button_text)

-- Set button_text to a_color.

require
a_color_not_void: a_color /= Void
ensure
button_text_set: button_text = a_color
set_list_border (a_color: like list_border)

-- Set list_border to a_color.

require
a_color_not_void: a_color /= Void
ensure
list_border_set: list_border = a_color
set_progress_bar_color (a_color: like progress_bar_color)

-- Set progress_bar_color to a_color.

require
a_color_not_void: a_color /= Void
ensure
progress_bar_color_set: progress_bar_color = a_color
set_progress_bar_fade (a_color: like progress_bar_fade)

-- Set progress_bar_fade to a_color.

require
a_color_not_void: a_color /= Void
ensure
progress_bar_fade_set: progress_bar_fade = a_color
set_selected_background (a_color: like selected_background)

-- Set selected_background to a_color.

require
a_color_not_void: a_color /= Void
ensure
selected_background_set: selected_background = a_color
set_selected_text (a_color: like selected_text)

-- Set selected_text to a_color.

require
a_color_not_void: a_color /= Void
ensure
selected_text_set: selected_text = a_color
set_standard_background (a_color: like standard_background)

-- Set standard_background to a_color.

require
a_color_not_void: a_color /= Void
ensure
standard_background_set: standard_background = a_color
set_standard_text (a_color: like standard_text)

-- Set standard_text to a_color.

require
a_color_not_void: a_color /= Void
ensure
standard_text_set: standard_text = a_color
set_tooltip_background (a_color: like tooltip_background)

-- Set tooltip_background to a_color.

require
a_color_not_void: a_color /= Void
ensure
tooltip_background_set: tooltip_background = a_color
set_tooltip_text (a_color: like tooltip_text)

-- Set tooltip_text to a_color.

require
a_color_not_void: a_color /= Void
ensure
tooltip_text_set: tooltip_text = a_color
set_window_background (a_color: like window_background)

-- Set window_background to a_color.

require
a_color_not_void: a_color /= Void
ensure
window_background_set: window_background = a_color
set_window_border (a_color: like window_border)

-- Set window_border to a_color.

require
a_color_not_void: a_color /= Void
ensure
window_border_set: window_border = a_color
set_window_text (a_color: like window_text)

-- Set window_text to a_color.

require
a_color_not_void: a_color /= Void
ensure
window_text_set: window_text = a_color
set_window_title_background (a_color: like window_title_background)

-- Set window_title_background to a_color.

require
a_color_not_void: a_color /= Void
ensure
window_title_background_set: window_title_background = a_color
set_window_title_text (a_color: like window_title_text)

-- Set window_title_text to a_color.

require
a_color_not_void: a_color /= Void
ensure
window_title_text_set: window_title_text = a_color

feature -- Themes

load_default_colors

-- Load default colors.

invariant

standard_background_not_void: standard_background /= Void
standard_text_not_void: standard_text /= Void
selected_background_not_void: selected_background /= Void
selected_text_not_void: selected_text /= Void
window_background_not_void: window_background /= Void
window_text_not_void: window_text /= Void
button_background_not_void: button_background /= Void
button_text_not_void: button_text /= Void
button_border_not_void: button_border /= Void
window_title_background_not_void: window_title_background /= Void
window_title_background_fade_not_void: window_title_background_fade /= Void
window_title_text_not_void: window_title_text /= Void
window_border_not_void: window_border /= Void
tooltip_background_not_void: tooltip_background /= Void
tooltip_text_not_void: tooltip_text /= Void
progress_bar_color_not_void: progress_bar_color /= Void
progress_bar_fade_not_void: progress_bar_fade /= Void
list_border_not_void: list_border /= Void

-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

end