## widget-types.pkg
#
# Compiled by:
#
src/lib/x-kit/widget/xkit-widget.sublibpackage widget_types
: (weak) Widget_Types # Widget_Types is from
src/lib/x-kit/widget/old/basic/widget-types.api{
Vertical_Alignment = VCENTER
| VTOP | VBOTTOM;
Horizontal_Alignment = HCENTER
| HRIGHT | HLEFT;
Gravity = CENTER
| NORTH | SOUTH | EAST | WEST
| NORTH_WEST | NORTH_EAST | SOUTH_WEST | SOUTH_EAST
;
# A toggleswitch is ACTIVE if it is
# responsive to mouseclicks;
# otherwise it is INACTIVE.
#
# Either way, it may independently
# be ON or OFF, which we track
# using Bool values:
#
Button_State
= ACTIVE Bool
| INACTIVE Bool
;
Arrow_Direction
= ARROW_UP
| ARROW_DOWN
| ARROW_LEFT
| ARROW_RIGHT
;
}; # package widget_types