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 | |
| Destroyable NoteBook | A notebook widget can be destroyed. |
| Synchronized NoteBook | You can synchronize on a notebook object (in JAVA style). |
| GUIObject NoteBook | Internal. |
| HasSize NoteBook | You can specify the size of a notebook widget. |
| Widget NoteBook | A notebook widget has standard widget properties (focus, cursor, ...). |
data NoteBookPage Source
The NoteBookPage datatype - a single page of a notebook.
Instances
| Eq NoteBookPage | |
| Destroyable NoteBookPage | A notebook page can be destroyed. |
| Synchronized NoteBookPage | You can synchronize on a notebook page (in JAVA style). |
| GUIObject NoteBookPage | Internal. |
| HasBorder NoteBookPage | A notebook page has a configureable border. |
| HasColour NoteBookPage | A notebook page has a background colour. |
| HasTooltip NoteBookPage | A notebook page can have a tooltip. |
| Widget NoteBookPage | A notebook page has standard widget properties (concerning focus, cursor). |
| Container NoteBookPage | 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 | 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.