15.4.1358  src/lib/x-kit/widget/basic/widget-types.pkg

## widget-types.pkg
#

# Compiled by:
#     src/lib/x-kit/widget/xkit-widget.sublib

package   widget_types
: (weak)  Widget_Types                                  # Widget_Types  is from   src/lib/x-kit/widget/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