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

em.widget

Class EM_THEME_FONTS


Direct ancestors

EM_SHARED_STANDARD_FONTS

Creation

Features

Invariants

indexing

description

Fonts of a theme.
All default delegates rely solely on these fonts.

Use EM_SHARED_THEME to access the instance used by default delegates.

date

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

revision

$Revision: 1.5 $

class

EM_THEME_FONTS

create

make

-- Initialise default values.

feature -- Access

button_text_font: EM_FONT

-- Button text font

default_text_font: EM_FONT

-- Default text font

window_title_font: EM_FONT

-- Window title font

feature -- Element change

set_button_text_font (font: like button_text_font)

-- Set button text font.

require
font_not_void: font /= Void
ensure
button_text_font_set: button_text_font = font
set_default_text_font (font: like default_text_font)

-- Set default text font.

require
font_not_void: font /= Void
ensure
default_text_font_set: default_text_font = font
set_window_title_font (font: like window_title_font)

-- Set window title font.

require
font_not_void: font /= Void
ensure
window_title_font_set: window_title_font = font

feature -- Themes

load_default_fonts

-- Load default fonts.

invariant

default_text_font_not_void: default_text_font /= Void
button_text_font_not_void: button_text_font /= Void
window_title_font_not_void: window_title_font /= Void

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

end