Safe Haskell | None |
---|---|
Language | Haskell98 |
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.
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, ...). |
:: 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.
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 |
:: 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.