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

HTk.Widgets.ListBox

Description

HTk's listbox widget . A scrollable widget that displays a set of text lines with selection functionality.

Synopsis

Documentation

data ListBox a Source

The ListBox datatype - parametrised over the type of the list elements.

Instances

Eq (ListBox a) 
Destroyable (ListBox a)

A listbox widget can be destroyed.

Synchronized (ListBox a)

You can synchronize on a listbox object (in JAVA style).

GUIObject (ListBox a)

Internal.

HasEnable (ListBox a)

A listbox is a stateful widget - it can be enabled or disabled.

HasGrid (ListBox a) 
HasFont (ListBox a)

You can specify the font of a listbox.

HasBorder (ListBox a)

A listbox widget has a configureable border.

HasSize (ListBox a)

You can specify the size of a listbox.

HasColour (ListBox a)

A listbox widget has a foreground and background colour.

HasTooltip (ListBox a)

A listbox can have a tooltip (only displayed if you are using tixwish).

Widget (ListBox a)

A listbox widget has standard widget properties (concerning focus, cursor).

HasSelection (ListBox a)

You can select entries inside a listbox widget.

HasXSelection (ListBox a)

A listbox widget has an X selection.

GUIValue a => CanBeSubwidget (ListBox a) 
HasScroller (ListBox a)

A listbox is a scrollable widget.

HasIndex (ListBox a) i Int => HasBBox (ListBox a) i

You can find out the bounding box of a list box element.

HasSelectionBaseIndexRange (ListBox a) Int

You can select a range of entries inside a listbox widget.

HasIndex (ListBox a) i Int => HasSelectionIndex (ListBox a) i

A listbox'es entries are selectable.

HasIndex (ListBox a) Pixels Int

A position in pixels is a valid index position inside an editor widget.

HasIndex (ListBox a) EndOfText Int

The EndOfText index is a valid index position inside a listbox widget.

HasIndex (ListBox a) Int Int

An integer value is a valid index position inside a listbox widget.

(HasIndex (ListBox a) i1 Int, HasIndex (ListBox a) i2 Int) => HasSelectionIndexRange (ListBox a) i1 i2

You can select a range of elements inside a listbox widget.

(Eq a, GUIValue a, GUIValue [a]) => HasIndex (ListBox a) Int (ListBoxElem a)

Internal.

(GUIValue a, GUIValue [a]) => HasValue (ListBox a) [a]

The value of a listbox is the list of the displayed objects (these are instances of class GUIValue and therefore instances of class Show).

HasSelectionBaseIndex (ListBox a) [Int]

You can select a range of elements inside a listbox widget.

(Eq a, GUIValue a) => HasIndex (ListBox [a]) (ListBoxElem a) Int

A listbox element is a valid index position inside an editor widget.

newListBoxSource

Arguments

:: (Container par, GUIValue a) 
=> par

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

-> [Config (ListBox a)]

the list of configuration options for this listbox widget.

-> IO (ListBox a)

A listbox widget.

Constructs a new listbox widget and returns a handler.

selectModeSource

Arguments

:: GUIValue a 
=> SelectMode

the select mode to set.

-> ListBox a

the concerned listbox.

-> IO (ListBox a)

The concerned listbox.

Sets the select mode of a listbox.

getSelectModeSource

Arguments

:: GUIValue a 
=> ListBox a

the concerned listbox.

-> IO SelectMode

The current select mode.

Gets the set select mode from a listbox.

activateElemSource

Arguments

:: HasIndex (ListBox a) i Int 
=> ListBox a

the concerned listbox.

-> i

the index of the line to activate.

-> IO ()

Nothing.

Activates the specified line.

selectionAnchorSource

Arguments

:: HasIndex (ListBox a) i Int 
=> ListBox a

the concerned listbox.

-> i

the index of the line to anchor the selection at.

-> IO ()

Nothing.

Anchors the selection at the specified line.

data Eq a => ListBoxElem a Source

The ListBoxElem datatype.

Constructors

ListBoxElem a 

Instances

Eq a => Eq (ListBoxElem a) 
(Eq a, GUIValue a, GUIValue [a]) => HasIndex (ListBox a) Int (ListBoxElem a)

Internal.

(Eq a, GUIValue a) => HasIndex (ListBox [a]) (ListBoxElem a) Int

A listbox element is a valid index position inside an editor widget.