home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
NCURSES_WIDGET
INTERNALS_HANDLER
All features
class NCURSES_MENU [E_]
Summary
top
This class adds a menu widget.
Direct parents
inherit list:
NCURSES_WIDGET
Class invariant
top
items
.valid_index(
selected
)
Overview
top
creation features
make
(p:
NCURSES_WIDGET
, x:
INTEGER_32
, y:
INTEGER_32
, t:
STRING
, its:
ARRAY
[
NCURSES_MENU_ITEM
[E_]], with_border:
BOOLEAN
)
exported features
left
:
INTEGER_32
top
:
INTEGER_32
width
:
INTEGER_32
height
:
INTEGER_32
refresh_later
tag
:
STRING
items
:
ARRAY
[
NCURSES_MENU_ITEM
[E_]]
selected
:
INTEGER_32
has_border
:
BOOLEAN
get_choice
: E_
read_choice
valid_choice
:
BOOLEAN
last_choice
: E_
redraw_later
redraw_now
hidden
:
BOOLEAN
show
hide
is_children_drawing_disable
:
BOOLEAN
draw_children
(b:
BOOLEAN
)
set_foreground_color
(color:
INTEGER_32
)
set_background_color
(color:
INTEGER_32
)
set_colors
(foreground:
INTEGER_32
, background:
INTEGER_32
)
get_foreground_color
:
INTEGER_32
get_background_color
:
INTEGER_32
invisible_cursor_mode
:
INTEGER_32
In this mode the cursor is invisible.
default_visible_cursor_mode
:
INTEGER_32
The default visible cursor mode.
special_visible_cursor_mode
:
INTEGER_32
In this mode cursor may blink in a more special or in a more visible way.
valid_cursor_visibility
(code:
INTEGER_32
):
BOOLEAN
Chack that code is one of
invisible_cursor_mode
,
default_visible_cursor_mode
or
special_visible_cursor_mode
.
left
:
INTEGER_32
writable attribute
top
top
:
INTEGER_32
writable attribute
top
width
:
INTEGER_32
writable attribute
top
height
:
INTEGER_32
writable attribute
top
refresh_later
effective procedure
top
tag
:
STRING
writable attribute
top
items
:
ARRAY
[
NCURSES_MENU_ITEM
[E_]]
writable attribute
top
selected
:
INTEGER_32
writable attribute
top
has_border
:
BOOLEAN
writable attribute
top
get_choice
: E_
effective function
top
This feature is obsolete:
use read_choice and last_choice
read_choice
effective procedure
top
valid_choice
:
BOOLEAN
writable attribute
top
last_choice
: E_
effective function
top
require
valid_choice
redraw_later
effective procedure
top
redraw_now
effective procedure
top
hidden
:
BOOLEAN
writable attribute
top
show
effective procedure
top
hide
effective procedure
top
is_children_drawing_disable
:
BOOLEAN
writable attribute
top
draw_children
(b:
BOOLEAN
)
effective procedure
top
set_foreground_color
(color:
INTEGER_32
)
effective procedure
top
set_background_color
(color:
INTEGER_32
)
effective procedure
top
set_colors
(foreground:
INTEGER_32
, background:
INTEGER_32
)
effective procedure
top
get_foreground_color
:
INTEGER_32
effective function
top
get_background_color
:
INTEGER_32
effective function
top
invisible_cursor_mode
:
INTEGER_32
constant attribute
top
In this mode the cursor is invisible.
default_visible_cursor_mode
:
INTEGER_32
constant attribute
top
The default visible cursor mode.
special_visible_cursor_mode
:
INTEGER_32
constant attribute
top
In this mode cursor may blink in a more special or in a more visible way.
valid_cursor_visibility
(code:
INTEGER_32
):
BOOLEAN
effective function
top
Chack that code is one of
invisible_cursor_mode
,
default_visible_cursor_mode
or
special_visible_cursor_mode
.
ensure
Result = code.in_range(
invisible_cursor_mode
,
special_visible_cursor_mode
)