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

Safe HaskellNone
LanguageHaskell98

HTk.Widgets.Message

Description

HTk's strongmessage widget/strong.br A message widget is a simple container for text.

Synopsis

Documentation

data Message Source #

The Message datatype.

Instances

Eq Message Source # 

Methods

(==) :: Message -> Message -> Bool #

(/=) :: Message -> Message -> Bool #

Destroyable Message Source #

A message widget can be destroyed.

Methods

destroy :: Message -> IO () #

Synchronized Message Source #

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

Methods

synchronize :: Message -> IO b -> IO b #

GUIObject Message Source #

Internal.

HasJustify Message Source #

A message widget has a configureable text justification.

HasFont Message Source #

You can specify the font of a message widget.

HasBorder Message Source #

A message widget has a configureable border.

HasSize Message Source #

You can specify the width of a message widget (height configuration is ignored).

HasColour Message Source #

A message widget has a foreground and background colour.

HasAnchor Message Source #

An message widget has a text anchor.

HasTooltip Message Source #

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

Widget Message Source #

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

GUIValue b => HasText Message b Source #

A message widget can contain text.

newMessage Source #

Arguments

:: Container par 
=> par

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

-> [Config Message]

the list of configuration options for this message widget.

-> IO Message

A message widget.

Constructs a new message widget and returns a handler.

aspect :: Int -> Config Message Source #

Sets the aspect of a message widget (100 * width / height).

getAspect Source #

Arguments

:: Message

the concerned message widget.

-> IO Int

The current aspect of this message widget.

Gets the aspect froma message widget.