WinButton

This structure provides button views and particular configurations for them.

Signature of WinButton

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 WinConfig
See WinImage
See WinInternal
See WinTclTk

SIGNATURE WinButton

$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)

IMPORT  Void            ONLY    void:SORT
        Com[void]       ONLY    com:SORT

IMPORT  WinInternal     ONLY    view:SORT config:SORT 
        WinConfig       ONLY    color:SORT
        WinImage        ONLY    image:SORT

Click Buttons

The constant button represents a click-button:

FUN button      :  view

The configuration bind(Com) binds a command to a button which is executed whenever the button is clicked:

FUN bind        :  com[void]            -> config

Abbreviation: generate button with text which executes given command when clicked.

FUN button: denotation ** com[void] -> view

The following configurations are sensitive:

Graphical Appearence

activeBackground activeForeground anchor background bitmap
borderWidth cursor disabledForeground font foreground
padX padY relief text state

Dynamic Behaviour

bind emit enable regulate 

Check Buttons

The constant checkButton represents a check-button:

FUN checkButton :  view

A check-button is identical to a click-button, but additionally displays a selector in a square box, which can be controlled by a selector gate. The following specific configurations are defined:

FUN selectIndicator     : bool          -> config
FUN selectImage         : image         -> config
FUN selectColor         : color         -> config

The following configurations are sensitive:

Graphical Appearence

activeBackground activeForeground anchor background bitmap
borderWidth cursor disabledForeground font foreground
padX padY relief text selector state

Dynamic Behaviour

bind emit enable regulate select select1

Radio Buttons

The constant radioButton represents a radio-button:

FUN radioButton :  view

A radio-button is identical to a check-button, but displays a diamond instead of a square box as the selector.

The following configurations are sensitive:

Graphical Appearence

activeBackground activeForeground anchor background bitmap
borderWidth cursor disabledForeground font foreground
padX padY relief text selector state

Dynamic Behaviour

bind emit enable regulate select select1

next node: WinMenu,
prev node: WinWindow,
up to node: Subsystem Opal Windows