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

em.widget

Class EM_SHARED_THEME


Known direct descendants

EM_WIDGET, EM_WIDGET_DELEGATE, EM_COMPONENT_SCENE, EM_NAMED_BORDER

Features

Invariants

indexing

description

Shared access to theme singletons.

date

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

revision

$Revision: 1.9 $

class

EM_SHARED_THEME

feature -- Access

theme_colors: EM_THEME_COLORS

-- Default colors for all widgets

ensure
theme_colors_not_void: Result /= Void
theme_delegates: EM_THEME_DELEGATES

-- Default delegates for all widgets

ensure
theme_delegates_not_void: Result /= Void
theme_fonts: EM_THEME_FONTS

-- Default fonts for all widgets

ensure
theme_fonts_not_void: Result /= Void

feature -- Element change

set_theme_colors (a_theme_colors: like theme_colors)

-- Set theme_colors to a_theme_colors.

require
a_theme_colors_not_void: a_theme_colors /= Void
ensure
theme_colors_set: theme_colors = a_theme_colors
set_theme_delegates (a_theme_delegates: like theme_delegates)

-- Set theme_delegates to a_theme_delegates.

require
a_theme_delegates_not_void: a_theme_delegates /= Void
ensure
theme_delegates_set: theme_delegates = a_theme_delegates
set_theme_fonts (a_theme_fonts: like theme_fonts)

-- Set theme_fonts to a_theme_fonts.

require
a_theme_fonts_not_void: a_theme_fonts /= Void
ensure
theme_fonts_set: theme_fonts = a_theme_fonts

feature -- Basic operations

load_default_theme

-- Load default theme.

load_eclipse_theme

-- Load eclipse theme.

invariant

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

end