|
|
|
|
|
| Description |
| HTk's PanedWindow.
A paned window is a container widget, that is devided into scaleable
horizontal or vertical panes. |
|
| Synopsis |
|
|
|
| Documentation |
|
| data PanedWindow |
| The PanedWindow datatype. |
|
| newPanedWindow |
|
|
| 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 |
