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.
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.
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. |
:: 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.
:: 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.