HTk.Containers.Box

A container widget with a preset packing orientation (for simple packing).

Documentation

data Box

The Box datatype.

Instances

Eq Box

Internal.

Methods

(==) :: Box -> Box -> Bool

(/=) :: Box -> Box -> Bool

Destroyable Box

A box can be destroyed.

Methods

destroy :: Box -> IO ()

Synchronized Box

You can synchronize on a box object.

Methods

synchronize :: Box -> IO b -> IO b

GUIObject Box

Internal.

Methods

toGUIObject :: Box -> GUIOBJECT

cname :: Box -> String

cset :: GUIValue a => Box -> ConfigID -> a -> IO Box

cget :: GUIValue a => Box -> ConfigID -> IO a

HasOrientation Box

A box'es packing orientation is configureable.

Methods

orient :: Orientation -> Config Box

getOrient :: Box -> IO Orientation

HasBorder Box

A box has a configureable border.

Methods

borderwidth :: Distance -> Config Box

getBorderwidth :: Box -> IO Distance

relief :: Relief -> Config Box

getRelief :: Box -> IO Relief

HasSize Box

You can specify the size of a box.

Methods

width :: Distance -> Config Box

getWidth :: Box -> IO Distance

height :: Distance -> Config Box

getHeight :: Box -> IO Distance

size :: Size -> Config Box

getSize :: Box -> IO Size

HasColour Box

A box has a configureable background colour.

Methods

legalColourID :: Box -> ConfigID -> Bool

setColour :: Box -> ConfigID -> Colour -> IO Box

getColour :: Box -> ConfigID -> IO Colour

Widget Box

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

Methods

cursor :: CursorDesignator ch => ch -> Config Box

getCursor :: Box -> IO Cursor

takeFocus :: Bool -> Config Box

getTakeFocus :: Box -> IO Bool

Container Box

A box is a container for widgets. You can pack widgets to a box via pack or grid command in the module Packer.

newBox

Arguments

:: Container par

=> par

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

-> Flexibility

the flexibility of the box.

-> [Config Box]

the list of configuration options for this box.

-> IO Box

A box.

Constructs a new box and returns a handler.

newHBox

Arguments

:: Container par

=> par

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

-> [Config Box]

the list of configuration options for this box.

-> IO Box

A box.

Constructs a new box with horizontal packing order and rigid flexibility and returns a handler.

newVBox

Arguments

:: Container par

=> par

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

-> [Config Box]

the list of configuration options for this box.

-> IO Box

A box.

Constructs a new box with vertical packing order and rigid flexibility and returns a handler.

newHFBox

Arguments

:: Container par

=> par

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

-> [Config Box]

the list of configuration options for this box.

-> IO Box

A box.

Constructs a new flexible box with horizontal packing order and returns a handler.

newVFBox

Arguments

:: Container par

=> par

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

-> [Config Box]

the list of configuration options for this box.

-> IO Box

A box.

Constructs a new flexible box with vertical packing order and returns a handler.