Safe Haskell	None
Language	Haskell98

HTk.Tix.PanedWindow

Description

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

Synopsis

Documentation

data PanedWindow Source #

The PanedWindow datatype.

Instances

Eq PanedWindow Source #
Methods (==) :: PanedWindow -> PanedWindow -> Bool # (/=) :: PanedWindow -> PanedWindow -> Bool #
Destroyable PanedWindow Source #	A paned window can be destroyed.
Methods destroy :: PanedWindow -> IO () #
Synchronized PanedWindow Source #	You can synchronize on a paned window object (in JAVA style).
Methods synchronize :: PanedWindow -> IO b -> IO b #
GUIObject PanedWindow Source #	Internal.
Methods toGUIObject :: PanedWindow -> GUIOBJECT Source # cname :: PanedWindow -> String Source # cset :: GUIValue a => PanedWindow -> ConfigID -> a -> IO PanedWindow Source # cget :: GUIValue a => PanedWindow -> ConfigID -> IO a Source #
HasSize PanedWindow Source #	You can specify the size of a paned window.
Methods width :: Distance -> Config PanedWindow Source # getWidth :: PanedWindow -> IO Distance Source # height :: Distance -> Config PanedWindow Source # getHeight :: PanedWindow -> IO Distance Source # size :: Size -> Config PanedWindow Source # getSize :: PanedWindow -> IO Size Source #
Widget PanedWindow Source #	A paned window has standard widget properties (focus, cursor, ...).
Methods cursor :: CursorDesignator ch => ch -> Config PanedWindow Source # getCursor :: PanedWindow -> IO Cursor Source # takeFocus :: Bool -> Config PanedWindow Source # getTakeFocus :: PanedWindow -> IO Bool Source #

newPanedWindow Source #

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 Source #

The Pane datatype - a pane inside a paned window.

Instances

Eq Pane Source #
Methods (==) :: Pane -> Pane -> Bool # (/=) :: Pane -> Pane -> Bool #
Destroyable Pane Source #	A pane can be destroyed.
Methods destroy :: Pane -> IO () #
Synchronized Pane Source #	You can synchronize on a pane object (in JAVA style).
Methods synchronize :: Pane -> IO b -> IO b #
GUIObject Pane Source #	Internal.
Methods toGUIObject :: Pane -> GUIOBJECT Source # cname :: Pane -> String Source # cset :: GUIValue a => Pane -> ConfigID -> a -> IO Pane Source # cget :: GUIValue a => Pane -> ConfigID -> IO a Source #
HasColour Pane Source #	A pane has a background colour.
Methods legalColourID :: Pane -> ConfigID -> Bool Source # setColour :: Pane -> ConfigID -> Colour -> IO Pane Source # getColour :: Pane -> ConfigID -> IO Colour Source #
Widget Pane Source #	A pane has standard widget properties (focus, cursor...).
Methods cursor :: CursorDesignator ch => ch -> Config Pane Source # getCursor :: Pane -> IO Cursor Source # takeFocus :: Bool -> Config Pane Source # getTakeFocus :: Pane -> IO Bool Source #
Container Pane Source #	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 Source #

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 Source #

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 Source #

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 Source #

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 Source #

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 Source #

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

maxsize :: Int -> CreationConfig Pane Source #

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

initsize :: Int -> CreationConfig Pane Source #

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.