This structure provides view configurations.
List of Import References :
See BOOL
See BTUnion
See Char
See Com
See DENOTATION
See Int
See Nat
See Option
See Real
See Seq
See Set
See String
See Void
See WinInternal
See WinTclTk
SIGNATURE WinConfig
$Date: 2011-09-22 18:07:17 +0200 (Do, 22. Sep 2011) $ ($Revision: 678 $)
IMPORT Nat ONLY nat:SORT
Real ONLY real:SORT
String ONLY string:SORT
BTUnion ONLY union:SORT
Seq[union] ONLY seq:SORT
IMPORT WinInternal ONLY view:SORT config:SORT
FUN {} : config
FUN ++ : config ** config -> config
FUN with : view ** config -> view
A configuration is an abstract data type which defines the
graphical appearence or dynamic behavior of a view. It may be attached
to a view using the operation View with Config. This operation
distributes over view compositions ( WinView), such that
e.g. (View1 << View2) with Config equals to
(View1 with Config) << (View2 with Config). Configurations may be
combined as in Config1 ++ Config2. {} is the empty
configuration.
A set of basic configurations applicable to a variety of views is defined below. If a configuration is applied to a view which doesn't support it, it is ignored, without producing an error.
A text is attached to a label or a button with the configurations below:
FUN text : denotation -> config FUN text : denotation ** seq[union] -> config FUN text : string -> config
The version text(Pattern, BTSeq) is equivalent to
text(format'StringFormat(Pattern, BTSeq)).
A relief specifies the 3-dimensional appearence of a view:
TYPE relief == relief(name: denotation)
The following predefined reliefs are available:
FUN flat raised sunken ridge groove : relief
FUN relief : relief -> config FUN flat raised sunken ridge groove : config
An anchor specifies the orientation of the placement of the contents of a view:
TYPE anchor == anchor(name: denotation)
The following predefined anchors are defined:
FUN north east south west center : anchor FUN - : anchor ** anchor -> anchor
Anchors may be combined with the function -; only
the combinations north-east, north-west,
south-east and south-west are allowed.
FUN anchor : anchor -> config
A color is specified by a name.
TYPE color == color(name: denotation)
The following constants define predefined colors:
FUN white black : color FUN grey lightgrey darkgrey : color FUN red lightred darkred : color FUN orange lightorange darkorange : color FUN pink lightpink darkpink : color FUN blue lightblue darkblue : color FUN azure lightazure darkazure : color FUN turquoise lightturquoise darkturquoise : color FUN green lightgreen darkgreen : color FUN forestgreen ivory violet : color FUN magenta purple thistle : color FUN burlywood orchid : color
The following function constructs a color name which represents
an RGB value. The version rgb(D1,D2,D3) is equivalent to
rgb(!(D1),!(D2),!(D3)). The intensitys must be in the interval
[0.0..1.0].
FUN rgb: real ** real ** real -> color FUN rgb: denotation ** denotation ** denotation -> color
FUN background bg : color -> config FUN activeBackground : color -> config FUN selectBackground : color -> config FUN insertBackground : color -> config FUN cursorBackground : color -> config FUN foreground fg : color -> config FUN activeForeground : color -> config FUN selectForeground : color -> config FUN disabledForeground : color -> config FUN selector : color -> config
A font is specified by its name. This name can, e. g., be obtained with help of the xfontsel(1) or xlsfonts(1) programs of X11.
TYPE font == font(name: denotation)
The following predefined fonts are available:
FUN fixed variable: font
FUN font : font -> config
The structre WinFontMetrics offers means to obtain information
about a particular font.
Points and rectangular sizes are described by the following types:
TYPE point == @ (xc: real, yc: real) TYPE size == x (width: real, height: real)
Coordinates in points and extends in sizes are represented as floating point numbers and do measure millimeters. In points, x-coordinates range from left to right and y-coordinates from upper to lower screen positions.
Shortcuts are provided for the denotation of pixel coordinates:
C px is defined as C * screenResolution and
D px as !(D) px.
FUN px : real -> real FUN px : denotation -> real FUN @ : denotation ** denotation -> point FUN x : denotation ** denotation -> size
The size of a view is explicitely defined by the configurations below:
FUN width : real -> config FUN height : real -> config FUN size : size -> config FUN size : real ** real -> config FUN unitWidth : nat -> config FUN unitHeight : nat -> config FUN unitSize : nat ** nat -> config FUN unitSize : size -> config FUN fixedSize : config
Note that for views which display a text, the unit variants
have to be used, which determine the size by means of line/columns.
A size explicitely configured for a view may be rearranged by the
packer to fit the needs of children placed by hierarchical
composition in the view. To avoid this, use the option fixedSize.
The padding of view specifies any extra space to request for its display.
FUN padX : real -> config FUN padY : real -> config FUN pad : size -> config FUN pad : real ** real -> config FUN ipadX : real -> config FUN ipadY : real -> config FUN ipad : size -> config FUN ipad : real ** real -> config
The version pad(W,H) is equivalent to pad(W x H).
With normal padding, the given space is added to the overall size demanded
from the view, but this space is not filled out.
With internal padding (the ipad variants) the extra space is
filled out, which is not the case for normal padding.
The border width of a view is defined by the configurations below.
FUN borderWidth bw : real -> config FUN activeBorderWidth : real -> config FUN insertBorderWidth : real -> config FUN selectBorderWidth : real -> config FUN cursorBorderWidth : real -> config
The width of a text cursor is defined by the configuration below.
FUN cursorWidth : real -> config
FUN position : real ** real -> config FUN position : point -> config FUN relPosition : real ** real -> config FUN relPosition : point -> config
Note: explicite positioning currently not supported.
A bitmap is specified by a name.
TYPE bitmap == bitmap(name: denotation)
The following constants define predefined bitmaps:
FUN error gray50 gray25 hourglass
info questhead question warning
none : bitmap
The following function constructs a bitmap which refers to a file in the window servers bitmap file format:
FUN file : denotation -> bitmap
FUN bitmap : bitmap -> config FUN bgstipple : bitmap -> config FUN fgstipple : bitmap -> config
A cursor is specified by a name:
TYPE cursor == cursor(name: denotation)
The following constants provide predefined cursor names.
FUN arrow boat circle clock diamondCross dot drapedBox
exchange fleur gobbler gumby hand1 hand2 pencil plus
spraycan target tcross watch : cursor
The following function constructs a cursor name which addresses two files in the window servers bitmap format for the image resp. the mask of the cursor:
FUN file : denotation ** denotation -> cursor
The cursor to be used in the editable text of a view is specified
with one of the configurations below. The version
cursor(C, Foreground, Background)
specify the foreground and background colors to be
used.
FUN cursor : cursor -> config FUN cursor : cursor ** color ** color -> config
Views which have a responsive behaviour, such as buttons, may be in
one of three states: in normal state they are enabled for
interaction, in active state they are just performing an interaction
and in disabled state they are insensitive for interactions.
TYPE state == normal active disabled FUN state : state -> config FUN normal : config FUN active : config FUN disabled : config
A view is configured to export its selection to the window manager
with exportSelection:
FUN exportSelection : config
A view is configured to define the grid for the size dimension
of its displaying window with setGrid:
FUN setGrid : config
For views that can lay themselves out with either a horizontal or vertical orientation, the configurations below define the direction:
TYPE orient == horizontal vertical FUN orient : orient -> config FUN horizontal : config FUN vertical : config FUN vertical : config
next node: WinCanvas,
prev node: WinTag,
up to node: Subsystem Opal Windows