home
wiki
classes/clusters list
class information
+
Point of view
INTERNALS_HANDLER
ANY
NCURSES_WIDGET
INTERNALS_HANDLER
All features
class NCURSES_MENUBAR [E_]
Summary
top
This class adds a menu bar widget.
Direct parents
inherit list:
NCURSES_WIDGET
Class invariant
top
selected
=
menus
.lower - 1 or else
menus
.valid_index(
selected
)
Overview
top
creation features
make
(p:
NCURSES_WIDGET
, y:
INTEGER_32
, mns:
DICTIONARY
[
DICTIONARY
[E_,
STRING
],
STRING
], with_border:
BOOLEAN
)
exported features
left
:
INTEGER_32
top
:
INTEGER_32
width
:
INTEGER_32
height
:
INTEGER_32
set_colors
(fg:
INTEGER_32
, bg:
INTEGER_32
)
refresh_later
menus
:
ARRAY
[
NCURSES_MENU
[E_]]
selected
:
INTEGER_32
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
)
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
set_colors
(fg:
INTEGER_32
, bg:
INTEGER_32
)
effective procedure
top
refresh_later
effective procedure
top
menus
:
ARRAY
[
NCURSES_MENU
[E_]]
writable attribute
top
selected
:
INTEGER_32
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
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
)