| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
HTk.Tix.NoteBook
Description
HTk's notebook and notebook pages. This widget is from the Tix library and therefore only available if you are using tixwish.
- data NoteBook
- data NoteBookPage
- newNoteBook :: Container par => par -> [Config NoteBook] -> IO NoteBook
- createNoteBookPage :: NoteBook -> String -> [Config NoteBookPage] -> IO NoteBookPage
Documentation
The NoteBook datatype.
Instances
| Eq NoteBook Source # | |
| Destroyable NoteBook Source # | A notebook widget can be destroyed. |
| Synchronized NoteBook Source # | You can synchronize on a notebook object (in JAVA style). |
| GUIObject NoteBook Source # | Internal. |
| HasSize NoteBook Source # | You can specify the size of a notebook widget. |
| Widget NoteBook Source # | A notebook widget has standard widget properties (focus, cursor, ...). |
data NoteBookPage Source #
The NoteBookPage datatype - a single page of a notebook.
Instances
| Eq NoteBookPage Source # | |
| Destroyable NoteBookPage Source # | A notebook page can be destroyed. |
| Synchronized NoteBookPage Source # | You can synchronize on a notebook page (in JAVA style). |
| GUIObject NoteBookPage Source # | Internal. |
| HasBorder NoteBookPage Source # | A notebook page has a configureable border. |
| HasColour NoteBookPage Source # | A notebook page has a background colour. |
| HasTooltip NoteBookPage Source # | A notebook page can have a tooltip. |
| Widget NoteBookPage Source # | A notebook page has standard widget properties (concerning focus, cursor). |
| Container NoteBookPage Source # | A notebook page is a container for widgets. You can pack widgets to
a notebook page via pack or grid command in the
|
| GUIValue a => HasText NoteBookPage a Source # | A notebook page has a text label. |
Arguments
| :: Container par | |
| => par | the parent widget, which has to be a container widget
(an instance of |
| -> [Config NoteBook] | the list of configuration options for this notebook. |
| -> IO NoteBook | A notebook widget. |
Constructs a new notebook widget and returns it as a value.
Arguments
| :: NoteBook | the parent widget, which has to be a container widget
(an instance of |
| -> String | the list of configuration options for this notebook page. |
| -> [Config NoteBookPage] | |
| -> IO NoteBookPage | A notebook page. |
Constructs a new page inside a notebook widget and returns it as a value.