Source codeContentsIndex
PanedWindow
Description
HTk's PanedWindow. A paned window is a container widget, that is devided into scaleable horizontal or vertical panes.
Synopsis
data PanedWindow
newPanedWindow :: (Container par) => par -> Orientation -> [Config PanedWindow] -> IO PanedWindow
data Pane
createPane :: PanedWindow -> [CreationConfig Pane] -> [Config Pane] -> IO Pane
after :: Pane -> CreationConfig Pane
before :: Pane -> CreationConfig Pane
at :: Int -> CreationConfig Pane
expand :: Double -> CreationConfig Pane
minsize :: Int -> CreationConfig Pane
maxsize :: Int -> CreationConfig Pane
initsize :: Int -> CreationConfig Pane
Documentation
data PanedWindow
The PanedWindow datatype.
newPanedWindow
:: (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
createPane
:: 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.
Produced by Haddock version 0.3