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.

Synopsis

Documentation

data NoteBook Source #

The NoteBook datatype.

Instances

Eq NoteBook Source #
Methods (==) :: NoteBook -> NoteBook -> Bool # (/=) :: NoteBook -> NoteBook -> Bool #
Destroyable NoteBook Source #	A notebook widget can be destroyed.
Methods destroy :: NoteBook -> IO () #
Synchronized NoteBook Source #	You can synchronize on a notebook object (in JAVA style).
Methods synchronize :: NoteBook -> IO b -> IO b #
GUIObject NoteBook Source #	Internal.
Methods toGUIObject :: NoteBook -> GUIOBJECT Source # cname :: NoteBook -> String Source # cset :: GUIValue a => NoteBook -> ConfigID -> a -> IO NoteBook Source # cget :: GUIValue a => NoteBook -> ConfigID -> IO a Source #
HasSize NoteBook Source #	You can specify the size of a notebook widget.
Methods width :: Distance -> Config NoteBook Source # getWidth :: NoteBook -> IO Distance Source # height :: Distance -> Config NoteBook Source # getHeight :: NoteBook -> IO Distance Source # size :: Size -> Config NoteBook Source # getSize :: NoteBook -> IO Size Source #
Widget NoteBook Source #	A notebook widget has standard widget properties (focus, cursor, ...).
Methods cursor :: CursorDesignator ch => ch -> Config NoteBook Source # getCursor :: NoteBook -> IO Cursor Source # takeFocus :: Bool -> Config NoteBook Source # getTakeFocus :: NoteBook -> IO Bool Source #

data NoteBookPage Source #

The NoteBookPage datatype - a single page of a notebook.

Instances

Eq NoteBookPage Source #
Methods (==) :: NoteBookPage -> NoteBookPage -> Bool # (/=) :: NoteBookPage -> NoteBookPage -> Bool #
Destroyable NoteBookPage Source #	A notebook page can be destroyed.
Methods destroy :: NoteBookPage -> IO () #
Synchronized NoteBookPage Source #	You can synchronize on a notebook page (in JAVA style).
Methods synchronize :: NoteBookPage -> IO b -> IO b #
GUIObject NoteBookPage Source #	Internal.
Methods toGUIObject :: NoteBookPage -> GUIOBJECT Source # cname :: NoteBookPage -> String Source # cset :: GUIValue a => NoteBookPage -> ConfigID -> a -> IO NoteBookPage Source # cget :: GUIValue a => NoteBookPage -> ConfigID -> IO a Source #
HasBorder NoteBookPage Source #	A notebook page has a configureable border.
Methods borderwidth :: Distance -> Config NoteBookPage Source # getBorderwidth :: NoteBookPage -> IO Distance Source # relief :: Relief -> Config NoteBookPage Source # getRelief :: NoteBookPage -> IO Relief Source #
HasColour NoteBookPage Source #	A notebook page has a background colour.
Methods legalColourID :: NoteBookPage -> ConfigID -> Bool Source # setColour :: NoteBookPage -> ConfigID -> Colour -> IO NoteBookPage Source # getColour :: NoteBookPage -> ConfigID -> IO Colour Source #
HasTooltip NoteBookPage Source #	A notebook page can have a tooltip.
Methods tooltip :: String -> NoteBookPage -> IO NoteBookPage Source # destroyTooltip :: NoteBookPage -> IO () Source #
Widget NoteBookPage Source #	A notebook page has standard widget properties (concerning focus, cursor).
Methods cursor :: CursorDesignator ch => ch -> Config NoteBookPage Source # getCursor :: NoteBookPage -> IO Cursor Source # takeFocus :: Bool -> Config NoteBookPage Source # getTakeFocus :: NoteBookPage -> IO Bool Source #
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 `module HTk.Kernel.Packer`.

GUIValue a => HasText NoteBookPage a Source #	A notebook page has a text label.
Methods text :: a -> Config NoteBookPage Source # getText :: NoteBookPage -> IO a Source #

newNoteBook Source #

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.

createNoteBookPage Source #

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.