GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
tutorial
>
MENU
+
Point of view
All features
ANY
All features
class MENU
Summary
top
Direct parents
Insert list:
NCURSES_COLORS
,
NCURSES_TOOLS
Overview
top
Creation features
{
ANY
}
make
Features
{}
root_window
:
NCURSES_WINDOW
menubar
:
NCURSES_MENUBAR
[
STRING
]
make
key_press
(key_code:
INTEGER_32
)
{
ANY
}
ncurses
:
NCURSES
Access to the
ncurses
singleton.
{
ANY
}
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
Check that code is one of
invisible_cursor_mode
,
default_visible_cursor_mode
or
special_visible_cursor_mode
.
{}
black_color
:
INTEGER_32
red_color
:
INTEGER_32
green_color
:
INTEGER_32
yellow_color
:
INTEGER_32
blue_color
:
INTEGER_32
magenta_color
:
INTEGER_32
cyan_color
:
INTEGER_32
white_color
:
INTEGER_32
root_window
:
NCURSES_WINDOW
writable attribute
{}
top
menubar
:
NCURSES_MENUBAR
[
STRING
]
writable attribute
{}
top
make
effective procedure
{}
top
key_press
(key_code:
INTEGER_32
)
effective procedure
{}
top
ncurses
:
NCURSES
once function
{
ANY
}
top
Access to the
ncurses
singleton.
invisible_cursor_mode
:
INTEGER_32
is 0
constant attribute
{
ANY
}
top
In this mode the cursor is invisible.
default_visible_cursor_mode
:
INTEGER_32
is 1
constant attribute
{
ANY
}
top
The default visible cursor mode.
special_visible_cursor_mode
:
INTEGER_32
is 2
constant attribute
{
ANY
}
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
{
ANY
}
top
Check 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
)
black_color
:
INTEGER_32
{}
top
red_color
:
INTEGER_32
{}
top
green_color
:
INTEGER_32
{}
top
yellow_color
:
INTEGER_32
{}
top
blue_color
:
INTEGER_32
{}
top
magenta_color
:
INTEGER_32
{}
top
cyan_color
:
INTEGER_32
{}
top
white_color
:
INTEGER_32
{}
top