HTk.Widgets.Space
Description
HTk's space widget. A simple spacer for special packing purposes.
Documentation
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 |
| HasColour Space | A space widget has a configureable background colour. |
| Widget Space | A radiobutton widget has standard widget properties (concerning focus, cursor). |
Arguments
| :: Container par | |
| => par | the parent widget, which has to be a container widget
(an instance of |
| -> 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.