HTk.Tix.PanedWindow

HTk's PanedWindow. A paned window is a container widget, that is divided into scaleable horizontal or vertical panes.

Documentation

data PanedWindow

The PanedWindow datatype.

Instances

Eq PanedWindow

Destroyable PanedWindow

A paned window can be destroyed.

Synchronized PanedWindow

You can synchronize on a paned window object (in JAVA style).

GUIObject PanedWindow

Internal.

HasSize PanedWindow

You can specify the size of a paned window.

Widget PanedWindow

A paned window has standard widget properties (focus, cursor, ...).

newPanedWindow

Arguments

:: Container par

=> par

the list of configuration options for this paned window.

-> Orientation

-> [Config PanedWindow]

-> IO PanedWindow

A paned window.

Constructs a new paned window and returns it as a value.

data Pane

The Pane datatype - a pane inside a paned window.

Instances

Eq Pane

Destroyable Pane

A pane can be destroyed.

Synchronized Pane

You can synchronize on a pane object (in JAVA style).

GUIObject Pane

Internal.

HasColour Pane

A pane has a background colour.

Widget Pane

A pane has standard widget properties (focus, cursor...).

Container Pane

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

createPane

Arguments

:: PanedWindow

the parent widget, which has to be a paned window.

-> [CreationConfig Pane]

the list of configuration options for this pane.

-> [Config Pane]

-> IO Pane

A window pane.

Constructs a new pane inside a paned window and returns it as a value.

after :: Pane -> CreationConfig Pane

Specifies that the new pane should be placed after pane in the list of panes in this PanedWindow widget (this is an initial configuration that cannot be changed later).

before :: Pane -> CreationConfig Pane

Specifies that the new pane should be placed before pane in the list of panes in this PanedWindow widget (this is an initial configuration that cannot be changed later).

at :: Int -> CreationConfig Pane

Specifies the position of the new pane in the list of panes in this PanedWindow widget. 0 means the first position, 1 means the second, and so on.

expand :: Double -> CreationConfig Pane

Specifies the expand/shrink factor of this pane as a non-negative floating point number. The default value is 0.0. The expand/shrink factor is used to calculate how much each pane should grow or shrink when the size of the PanedWindow main window is changed. When the main window expands/shrinks by n pixels, then pane i will grow/shrink by about n * factor(i) / summation(factors), where factor(i) is the expand/shrink factor of pane i and summation(factors) is the summation of the expand/shrink factors of all the panes. If summation(factors) is 0.0, however, only the last visible pane will be grown or shrunk.

minsize :: Int -> CreationConfig Pane

Specifies the minimum size, in pixels, of the new pane; the default is 0.

maxsize :: Int -> CreationConfig Pane

Specifies the maximum size, in pixels, of the new pane; the default is 10000.

initsize :: Int -> CreationConfig Pane

Specifies the size, in pixels, of the new pane; if the -size option is not given, the PanedWindow widget will use the natural size of the pane subwidget.