Author(s): Montserrat Urraca.
Version: 1.11#222 (2004/5/24, 13:8:7 CEST)
Version of last change: 1.9#135 (2003/12/4, 17:33:57 CET)
menu_entry_class
)menu_entry_class
)
Usage: set_name(Name)
Name
of the menubutton associated.
Name
is currently instantiated to an atom.
(term_typing:atom/1
)
Name
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Usage: set_action(Predicate)
Predicate
asociated to the menu entry.
Predicate
is currently instantiated to an atom.
(term_typing:atom/1
)
Predicate
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Usage 1: label_value(Value)
Value
specifies a value to be displayed as an identifying label in the menu entry.
Value
is currently instantiated to an atom.
(term_typing:atom/1
)
Value
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Usage 2: label_value(Value)
Value
is currently instantiated to an atom.
(term_typing:atom/1
)
Value
is a free variable.
(term_typing:var/1
)
Usage 1: menu_name(Menu)
Menu
posted when cascade entry is invoked.
Menu
is currently instantiated to an atom.
(term_typing:atom/1
)
Menu
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Usage 2: menu_name(Menu)
Menu
asociated to the cascade entry.
Menu
is currently instantiated to an atom.
(term_typing:atom/1
)
Menu
is a free variable.
(term_typing:var/1
)
Go to the first, previous, next, last section, table of contents.