HTk.Toolkit.GenericBrowser

A generic data browser.

Documentation

newGenericBrowser

Arguments

:: (GBObject o, Container par)

=> par

the parent widget (which has to be a container widget).

-> [o]

the list of top level objects.

-> [Config (GenericBrowser o)]

the list of configuration options for this generic browser.

-> IO (GenericBrowser o)

A generic browser.

Constructs a new generic browser and returns a handler.

data GBObject o => GenericBrowser o

The GenericBrowser datatype.

Instances

GBObject o => GUIObject (GenericBrowser o)

Internal.

Methods

toGUIObject :: GenericBrowser o -> GUIOBJECT

cname :: GenericBrowser o -> String

cset :: GUIValue a => GenericBrowser o -> ConfigID -> a -> IO (GenericBrowser o)

cget :: GUIValue a => GenericBrowser o -> ConfigID -> IO a

GBObject o => Widget (GenericBrowser o)

Internal.

Methods

cursor :: CursorDesignator ch => ch -> Config (GenericBrowser o)

getCursor :: GenericBrowser o -> IO Cursor

takeFocus :: Bool -> Config (GenericBrowser o)

getTakeFocus :: GenericBrowser o -> IO Bool

class CItem o => GBObject o where

Browsed data needs to instantiate the class CItem.

Minimal complete definition

getChildren, isObjectNode

Methods

getChildren :: o -> IO [o]

isObjectNode :: o -> IO Bool

data GBObject o => GenericBrowserEvent o

Constructors

SelectedInTreeList (Maybe o)

FocusedInTreeList (Maybe o)

Dropped (o, [o])

SelectedInNotepad o

DeselectedInNotepad o

Doubleclick o

Rightclick [o]

bindGenericBrowserEv

Arguments

:: GBObject o

=> GenericBrowser o

the concerned generic browser.

-> IO (Event (GenericBrowserEvent o), IO ())

A pair of (event, unbind action).

Binds a listener for generic browser events to the tree list and returns a corresponding event and an unbind action.