INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

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

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES