| 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.
- 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 Source #
The PanedWindow datatype.
Instances
| Eq PanedWindow Source # | |
| Destroyable PanedWindow Source # | A paned window can be destroyed. |
| Synchronized PanedWindow Source # | You can synchronize on a paned window object (in JAVA style). |
| GUIObject PanedWindow Source # | Internal. |
| HasSize PanedWindow Source # | You can specify the size of a paned window. |
| Widget PanedWindow Source # | A paned window has standard widget properties (focus, cursor, ...). |
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.
The Pane datatype - a pane inside a paned window.
Instances
| Eq Pane Source # | |
| Destroyable Pane Source # | A pane can be destroyed. |
| Synchronized Pane Source # | You can synchronize on a pane object (in JAVA style). |
| GUIObject Pane Source # | Internal. |
| HasColour Pane Source # | A pane has a background colour. |
| Widget Pane Source # | A pane has standard widget properties (focus, cursor...). |
| 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 |
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.