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

em.widget

Class EM_SHARED_WIDGET_OPTIONS


Known direct descendants

EM_TRANSPARENT_BACKGROUND, EM_COMPONENT_SCENE, EM_DIALOG

Features

Invariants

indexing

description

Shared access to widget_options singleton.

date

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

revision

$Revision: 1.5 $

class

EM_SHARED_WIDGET_OPTIONS

feature -- Access

widget_options: EM_WIDGET_OPTIONS

-- Global widget options.

invariant

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

end