Author(s): Montserrat Urraca.
Version: 1.11#222 (2004/5/24, 13:8:7 CEST)
Version of last change: 1.9#150 (2003/12/4, 17:35:4 CET)
widget_class):- use_module(library(widget_class)).
text_characters/1,
font_type/1,
background_color/1,
borderwidth_value/1,
foreground_color/1,
highlightbackground_color/1,
highlight_color/1,
width_value/1,
relief_type/1,
side_type/1,
expand_value/1,
fill_type/1,
padx_value/1,
pady_value/1,
row_value/1,
rowspan_value/1,
column_value/1,
columnspan_value/1,
event_type_widget/1,
action_widget/3,
action_widget/1,
creation_options/1,
creation_position/1,
creation_position_grid/1,
creation_bind/1.
widget_class)
Usage 1: text_characters(Text)
Text to be displayed in the widget.
Text is currently instantiated to an atom.
(term_typing:atom/1)
Text is currently a term which is not a free variable.
(term_typing:nonvar/1)
Usage 2: text_characters(Text)
Text which is displayed in the widget.
Text is currently instantiated to an atom.
(term_typing:atom/1)
Text is a free variable.
(term_typing:var/1)
Usage 1: font_type(Font)
Font of the widget's text.
Font is currently instantiated to an atom.
(term_typing:atom/1)
Font is currently a term which is not a free variable.
(term_typing:nonvar/1)
Usage 2: font_type(Font)
Font of the widget's text.
Font is currently instantiated to an atom.
(term_typing:atom/1)
Font is a free variable.
(term_typing:var/1)
Usage 1: background_color(Background)
Background color. Default to gray.
Background is currently instantiated to an atom.
(term_typing:atom/1)
Background is currently a term which is not a free variable.
(term_typing:nonvar/1)
Usage 2: background_color(Background)
Background color.
Background is currently instantiated to an atom.
(term_typing:atom/1)
Background is a free variable.
(term_typing:var/1)
Usage 1: borderwidth_value(BorderWidth)
BorderWidth is a number.
(basic_props:num/1)
BorderWidth is currently a term which is not a free variable.
(term_typing:nonvar/1)
Usage 2: borderwidth_value(BorderWidth)
BorderWidth is currently instantiated to an atom.
(term_typing:atom/1)
BorderWidth is a free variable.
(term_typing:var/1)
Usage 1: foreground_color(Foreground)
Foreground color. Default to black
Foreground is currently instantiated to an atom.
(term_typing:atom/1)
Foreground is currently a term which is not a free variable.
(term_typing:nonvar/1)
Usage 2: foreground_color(Foreground)
Foreground color.
Foreground is currently instantiated to an atom.
(term_typing:atom/1)
Foreground is a free variable.
(term_typing:var/1)
Usage 1: highlightbackground_color(Color)
Color specifies the highlight background color. Default to white
Color is currently instantiated to an atom.
(term_typing:atom/1)
Color is currently a term which is not a free variable.
(term_typing:nonvar/1)
Usage 2: highlightbackground_color(Color)
Color of the highlight background.
Color is currently instantiated to an atom.
(term_typing:atom/1)
Color is a free variable.
(term_typing:var/1)
Usage 1: highlight_color(Color)
Color specifies the highlight color. Default to white
Color is currently instantiated to an atom.
(term_typing:atom/1)
Color is currently a term which is not a free variable.
(term_typing:nonvar/1)
Usage 2: highlight_color(Color)
Color of the highlight.
Color is currently instantiated to an atom.
(term_typing:atom/1)
Color is a free variable.
(term_typing:var/1)
Usage 1: width_value(Width)
Width for the widget. Default to 0
Width is an integer.
(basic_props:int/1)
Width is currently a term which is not a free variable.
(term_typing:nonvar/1)
Usage 2: width_value(Width)
Width specified for the widget.
Width is an integer.
(basic_props:int/1)
Width is currently a term which is not a free variable.
(term_typing:nonvar/1)
Usage 1: relief_type(Relief)
Relief for the widget. Default to sunken
Relief is currently instantiated to an atom.
(term_typing:atom/1)
Relief is currently a term which is not a free variable.
(term_typing:nonvar/1)
Usage 2: relief_type(Relief)
Relief of the widget.
Relief is currently instantiated to an atom.
(term_typing:atom/1)
Relief is a free variable.
(term_typing:var/1)
Usage 1: side_type(Side)
Side of the master, the slave(s) will be packed against. Must be left, right, top or bottom. Defaults to top
Side is currently instantiated to an atom.
(term_typing:atom/1)
Side is currently a term which is not a free variable.
(term_typing:nonvar/1)
Usage 2: side_type(Side)
Side is currently instantiated to an atom.
(term_typing:atom/1)
Side is a free variable.
(term_typing:var/1)
Usage 1: expand_value(Value)
Value may have any proper boolean value, such as 1 or 0. Defaults to 0
Value is an integer.
(basic_props:int/1)
Value is currently a term which is not a free variable.
(term_typing:nonvar/1)
Usage 2: expand_value(Value)
Value is an integer.
(basic_props:int/1)
Value is a free variable.
(term_typing:var/1)
Usage 1: fill_type(Option)
Option must have one of the following values: none ( this is the default), x, y, both
Option is currently instantiated to an atom.
(term_typing:atom/1)
Option is currently a term which is not a free variable.
(term_typing:nonvar/1)
Usage 2: fill_type(Option)
Option is currently instantiated to an atom.
(term_typing:atom/1)
Option is a free variable.
(term_typing:var/1)
Usage 1: padx_value(Amount)
Amount specifies how much horizontal external padding to leave on each side of the slave(s). Amount defaults to 0
Amount is an integer.
(basic_props:int/1)
Amount is currently a term which is not a free variable.
(term_typing:nonvar/1)
Usage 2: padx_value(Amount)
Amount which specifies how much horizontal external padding to leave on each side of the slaves.
Amount is an integer.
(basic_props:int/1)
Amount is a free variable.
(term_typing:var/1)
Usage 1: pady_value(Amount)
Amount specifies how much vertical external padding to leave on each side of the slave(s). Amount defaults to 0
Amount is an integer.
(basic_props:int/1)
Amount is currently a term which is not a free variable.
(term_typing:nonvar/1)
Usage 2: pady_value(Amount)
Amount which specifies how much vertical external padding to leave on each side of the slaves.
Amount is an integer.
(basic_props:int/1)
Amount is a free variable.
(term_typing:var/1)
Usage 1: row_value(Row)
Row in which the widget should be allocated.
Row is an integer.
(basic_props:int/1)
Row is currently a term which is not a free variable.
(term_typing:nonvar/1)
Usage 2: row_value(Row)
Row in which the widget is allocated.
Row is an integer.
(basic_props:int/1)
Row is a free variable.
(term_typing:var/1)
Usage 1: rowspan_value(Row)
Row which are going to be occupied in the grid.
Row is an integer.
(basic_props:int/1)
Row is currently a term which is not a free variable.
(term_typing:nonvar/1)
Usage 2: rowspan_value(Row)
Row which are occupied by the widget in the grid.
Row is an integer.
(basic_props:int/1)
Row is a free variable.
(term_typing:var/1)
Usage 1: column_value(Column)
Column in which the widget should be allocated.
Column is an integer.
(basic_props:int/1)
Column is currently a term which is not a free variable.
(term_typing:nonvar/1)
Usage 2: column_value(Column)
Column in which the widget is allocated.
Column is an integer.
(basic_props:int/1)
Column is a free variable.
(term_typing:var/1)
Usage 1: columnspan_value(Column)
Column which are going to be occupied in the grid.
Column is an integer.
(basic_props:int/1)
Column is currently a term which is not a free variable.
(term_typing:nonvar/1)
Usage 2: columnspan_value(Column)
Column which are occupied by the widget in the grid.
Column is an integer.
(basic_props:int/1)
Column is a free variable.
(term_typing:var/1)
Usage 1: event_type_widget(EventType)
EventType is going to be manage by the interface.
EventType is currently instantiated to an atom.
(term_typing:atom/1)
EventType is currently a term which is not a free variable.
(term_typing:nonvar/1)
Usage 2: event_type_widget(EventType)
EventType which is going to be manage by the interface.
EventType is currently instantiated to an atom.
(term_typing:atom/1)
EventType is a free variable.
(term_typing:var/1)
Usage 1: action_widget(Input, Output, Term)
Term with Input value and Output variable.
Input is currently instantiated to an atom.
(term_typing:atom/1)
Output is currently instantiated to an atom.
(term_typing:atom/1)
Term is currently instantiated to an atom.
(term_typing:atom/1)
Input is currently a term which is not a free variable.
(term_typing:nonvar/1)
Output is currently a term which is not a free variable.
(term_typing:nonvar/1)
Term is currently a term which is not a free variable.
(term_typing:nonvar/1)
Usage 2: action_widget(Input, Output, Term)
Term is associated to the action of the object indicated with the operacion event_type_widget.
Input is currently instantiated to an atom.
(term_typing:atom/1)
Output is currently instantiated to an atom.
(term_typing:atom/1)
Term is currently instantiated to an atom.
(term_typing:atom/1)
Input is currently a term which is not a free variable.
(term_typing:nonvar/1)
Output is currently a term which is not a free variable.
(term_typing:nonvar/1)
Term is a free variable.
(term_typing:var/1)
Usage 1: action_widget(Term)
Term is going to be associated to the action of the object indicated with the operacion event_type_widget.
Term is currently instantiated to an atom.
(term_typing:atom/1)
Term is currently a term which is not a free variable.
(term_typing:nonvar/1)
Usage 2: action_widget(Term)
Term is associated to the action of the object indicated with the operacion event_type_widget.
Term is currently instantiated to an atom.
(term_typing:atom/1)
Term is a free variable.
(term_typing:var/1)
Usage: creation_options(OptionsList)
OptionsList is a list.
(basic_props:list/1)
OptionsList is a free variable.
(term_typing:var/1)
Usage: creation_position(OptionsList)
OptionsList is a list.
(basic_props:list/1)
OptionsList is a free variable.
(term_typing:var/1)
Usage: creation_position_grid(OptionsList)
OptionsList is a list.
(basic_props:list/1)
OptionsList is a free variable.
(term_typing:var/1)
Usage: creation_bind(BindList)
BindList is a list.
(basic_props:list/1)
BindList is a free variable.
(term_typing:var/1)
Go to the first, previous, next, last section, table of contents.