note
description:
"Horizontal bar for display of status messages."
legal: "See notice at end of class."
status: "See notice at end of class."
date: "$Date$"
revision: "$Revision$"
class
EV_STATUS_BAR
inherit
EV_HORIZONTAL_BOX
redefine
initialize,
is_in_default_state
end
EV_FRAME_CONSTANTS
export
{NONE} all
{ANY} valid_frame_border
undefine
default_create, is_equal, copy
end
create
default_create
feature {NONE} -- Initialization
initialize
-- Set `padding' to default.
do
Precursor
set_padding (Default_padding)
end
feature {NONE} -- Contract support
is_in_default_state: BOOLEAN
-- Is `Current' in its default state.
do
Result := Precursor or padding = Default_padding
end
feature {NONE} -- Implementation
Default_padding: INTEGER = 2;
-- `padding' at creation.
note
copyright: "Copyright (c) 1984-2006, Eiffel Software and others"
license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
source: "[
Eiffel Software
356 Storke Road, Goleta, CA 93117 USA
Telephone 805-685-1006, Fax 805-685-6869
Website http://www.eiffel.com
Customer support http://support.eiffel.com
]"
end -- class EV_STATUS_BAR