HTk.Widgets.Space

HTk's space widget. A simple spacer for special packing purposes.

Documentation

data Space

The Space datatype.

Instances

Eq Space

Internal.

Destroyable Space

A space widget can be destroyed.

Synchronized Space

You can synchronize on a space widget.

GUIObject Space

Internal.

HasOrientation Space

The space widgets orientation can either be vertical or Horizontal.

HasColour Space

A space widget has a configureable background colour.

Widget Space

A radiobutton widget has standard widget properties (concerning focus, cursor).

newSpace

Arguments

:: Container par

=> par

the parent widget, which has to be a container widget (an instance of class Container).

-> Distance

the horizontal or vertical distance (depending on the space widget's orientation).

-> [Config Space]

the list of configuration options for this space widget.

-> IO Space

A space widget.

Constructs a new space widget and returns a handler.