- indexing
- project: "Visual Eiffel"
- revision: "$Revision: 1.1 $"
- copyright: "Copyright (C) 1996-2005 Object Tools Group"
- license: "http://visual-eiffel.com/license"
- cluster: grape
class TABS
- inherit
-
CONTROL
-
- rename
-
make
as c_make
-
- redefine
- on_create,
- on_destroy,
- on_lbutton_down,
- on_paint,
- set_font
- end
- creation
- make
- feature
-
make (r: RECT; ctx: INTEGER)
-
- require
-
non_void_rect:
r /= void
-
add_tab (c: STRING)
-
- require
-
non_void_tab_label:
c /= void
-
insert_tab (c: STRING; pos: INTEGER)
-
- require
-
non_void_tab_label:
c /= void
-
valid_pos:
pos >= 1
-
delete_tab (pos: INTEGER)
-
- require
-
valid_pos:
pos >= 1
-
set_tab_text (c: STRING; pos: INTEGER)
-
- require
-
non_void_tab_label:
c /= void
-
valid_pos:
pos >= 1
-
wipe_tabs
-
get_number_of_tabs: INTEGER
-
set_current_tab (pos: INTEGER)
-
- require
-
valid_pos:
pos >= 0
-
get_current_tab: INTEGER
-
set_first_visible_tab (pos: INTEGER)
-
- require
-
valid_pos:
pos >= 1 and then pos <= get_number_of_tabs
-
get_first_visible_tab: INTEGER
-
set_type (typ: BOOLEAN)
-
get_type: BOOLEAN
-
enable_tab (pos: INTEGER; flag: BOOLEAN)
-
- require
-
valid_pos:
pos >= 1 and then pos <= get_number_of_tabs
-
is_tab_enabled (pos: INTEGER): BOOLEAN
-
- require
-
valid_pos:
pos >= 1 and then pos <= get_number_of_tabs
-
set_font (f: FONT)
-
- require
-
non_void_font:
f /= void
-
set_selected_color (c: COLOR)
-
- require
-
non_void_color:
c /= void
-
on_lbutton_down (x, y: INTEGER): INTEGER
-
on_create: INTEGER
-
on_destroy: INTEGER
-
on_paint: INTEGER
-
get_tab_height: REAL
end -- class TABS