HTk.Widgets.Scale

HTk's scale widget. A simple slider in a through representing a range of numeric values.

Documentation

class (Num a, GUIValue a) => ScaleValue a where

Values associated with a scale instansiate the class ScaleValue.

Minimal complete definition

toDouble, fromDouble

Methods

toDouble :: a -> Double

fromDouble :: Double -> a

Instances

ScaleValue Double

A double value is a scale value.

Methods

toDouble :: Double -> Double

fromDouble :: Double -> Double

data Scale a

The Scale datatype.

Instances

Eq (Scale a)

Internal.

Methods

(==) :: Scale a -> Scale a -> Bool

(/=) :: Scale a -> Scale a -> Bool

Destroyable (Scale a)

A scale widget can be destroyed.

Methods

destroy :: Scale a -> IO ()

Synchronized (Scale a)

You can synchronize on a scale widget.

Methods

synchronize :: Scale a -> IO b -> IO b

GUIObject (Scale a)

Internal.

Methods

toGUIObject :: Scale a -> GUIOBJECT

cname :: Scale a -> String

cset :: GUIValue a => Scale a -> ConfigID -> a -> IO (Scale a)

cget :: GUIValue a => Scale a -> ConfigID -> IO a

HasEnable (Scale a)

A scale widget is a stateful widget, it can be enabled or disabled.

Methods

state :: State -> Config (Scale a)

getState :: Scale a -> IO State

disable :: Config (Scale a)

enable :: Config (Scale a)

isEnabled :: Scale a -> IO Bool

HasOrientation (Scale a)

A scale widget's orientation can either be vertical or horizontal.

Methods

orient :: Orientation -> Config (Scale a)

getOrient :: Scale a -> IO Orientation

HasFont (Scale a)

A scale widget has a configureable font.

Methods

font :: FontDesignator f => f -> Config (Scale a)

getFont :: Scale a -> IO Font

HasBorder (Scale a)

A scale widget has a configureable border.

Methods

borderwidth :: Distance -> Config (Scale a)

getBorderwidth :: Scale a -> IO Distance

relief :: Relief -> Config (Scale a)

getRelief :: Scale a -> IO Relief

HasSize (Slider (Scale a))

A scale's slider has a configureable size.

Methods

width :: Distance -> Config (Slider (Scale a))

getWidth :: Slider (Scale a) -> IO Distance

height :: Distance -> Config (Slider (Scale a))

getHeight :: Slider (Scale a) -> IO Distance

size :: Size -> Config (Slider (Scale a))

getSize :: Slider (Scale a) -> IO Size

HasSize (Scale a)

A scale widget has a configureable size.

Methods

width :: Distance -> Config (Scale a)

getWidth :: Scale a -> IO Distance

height :: Distance -> Config (Scale a)

getHeight :: Scale a -> IO Distance

size :: Size -> Config (Scale a)

getSize :: Scale a -> IO Size

HasColour (Scale a)

A scale widget has a configureable foreground, background and activebackground colour.

Methods

legalColourID :: Scale a -> ConfigID -> Bool

setColour :: Scale a -> ConfigID -> Colour -> IO (Scale a)

getColour :: Scale a -> ConfigID -> IO Colour

HasTooltip (Scale a)

A scale widget can have a tooltip.

Methods

tooltip :: String -> Scale a -> IO (Scale a)

destroyTooltip :: Scale a -> IO ()

Widget (Scale a)

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

Methods

cursor :: CursorDesignator ch => ch -> Config (Scale a)

getCursor :: Scale a -> IO Cursor

takeFocus :: Bool -> Config (Scale a)

getTakeFocus :: Scale a -> IO Bool

HasSlider (Scale a)

A scale widget has a configureable slider.

Methods

repeatInterval :: Int -> Config (Slider (Scale a))

getRepeatInterval :: Slider (Scale a) -> IO Int

repeatDelay :: Int -> Config (Slider (Scale a))

getRepeatDelay :: Slider (Scale a) -> IO Int

ScaleValue a => HasIncrement (Slider (Scale a)) a

A scale's slider has a configureable resulution.

Methods

increment :: a -> Config (Slider (Scale a))

getIncrement :: Slider (Scale a) -> IO a

ScaleValue a => HasIncrement (Scale a) a

A scale widget has a configureable incrementation interval.

Methods

increment :: a -> Config (Scale a)

getIncrement :: Scale a -> IO a

GUIValue v => HasText (Scale a) v

A scale widget has a text label.

Methods

text :: v -> Config (Scale a)

getText :: Scale a -> IO v

newScale

Arguments

:: (GUIValue a, ScaleValue a, Container par)

=> par

the parent widget, which has to be a container widget.

-> [Config (Scale a)]

the list of configuration options for this scale widget.

-> IO (Scale a)

A scale widget.

Constructs a new scale widget and returns a handler.

digits :: Int -> Config (Scale a)

Sets the number of significant values in the scale widget.

getDigits :: Scale a -> IO Int

Gets the number of significant values in the scale widget.

interval :: ScaleValue a => (a, a) -> Config (Scale a)

Sets the scale widgets maximum and minumum value.

getInterval :: ScaleValue a => Scale a -> IO (a, a)

Gets the scale widgets maximum and minumum value.

intervalTo :: ScaleValue a => a -> Config (Scale a)

Sets the maximum value of the scale widget.

getIntervalTo :: ScaleValue a => Scale a -> IO a

Gets the maximum value of the scale widget.

intervalFrom :: ScaleValue a => a -> Config (Scale a)

Sets the minimum value of the scale widget.

getIntervalFrom :: ScaleValue a => Scale a -> IO a

Gets the minimum value of the scale widget.

bigIncrement :: ScaleValue a => a -> Config (Slider (Scale a))

Sets the coarse grain slider adjustment value.

getBigIncrement :: ScaleValue a => Slider (Scale a) -> IO a

Gets the coarse grain slider adjustment value.

showValue :: Toggle -> Config (Slider (Scale a))

Shows the sliders value when set.

getShowValue :: Slider (Scale a) -> IO Toggle

Gets the current showvalue setting.