uni-htk-2.2.1.1: Graphical User Interface for Haskell Programs

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.

Synopsis

Documentation

data NoteBook Source

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 module HTk.Kernel.Packer.

GUIValue a => HasText NoteBookPage a

A notebook page has a text label.

newNoteBookSource

Arguments

:: Container par 
=> par

the parent widget, which has to be a container widget (an instance of class Container).

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

createNoteBookPageSource

Arguments

:: NoteBook

the parent widget, which has to be a container widget (an instance of class Container).

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