Hets - the Heterogeneous Tool Set

Copyright(c) C. Maeder Uni Bremen 2002-2005
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (cpp)
Safe HaskellNone

GUI.Utils

Description

Utilities on top of HTk or System.IO

Synopsis

Documentation

listBox Source #

Arguments

:: String

Title

-> [String]

Rows to display

-> IO (Maybe Int)

Selected row

create a window with title and list of options, return selected option

createTextSaveDisplay Source #

Arguments

:: String

Title

-> FilePath

Filename

-> String

Message

-> IO () 

Display some (longish) text in an uneditable, scrollable editor.

askFileNameAndSave Source #

Arguments

:: FilePath

default filename for saving the text

-> String

text to be saved

-> IO () 

opens a FileDialog and saves to the selected file if Save is clicked

infoDialog Source #

Arguments

:: String

Title

-> String

Message

-> IO () 

create a window which displays a given text

createTextDisplay Source #

Arguments

:: String

Title

-> String

Message

-> IO () 

Display some (longish) text in an uneditable, scrollable editor.

errorDialog Source #

Arguments

:: String

Title

-> String

Message

-> IO () 

create a window which displays a given error

warningDialog Source #

Arguments

:: String

Title

-> String

Message

-> IO Bool 

create a window which displays a given warning and ask for continue

questionDialog Source #

Arguments

:: String

Title

-> String

Message

-> IO Bool 

create a window which displays a given question

fileOpenDialog Source #

Arguments

:: FilePath

Defaultname for file

-> [(String, [String])]

Filter (name, pattern list)

-> Maybe (FilePath -> IO ())

Action on open

-> IO (Maybe FilePath) 

fileSaveDialog Source #

Arguments

:: FilePath

Defaultname for file

-> [(String, [String])]

Filter (name, pattern list)

-> Maybe (FilePath -> IO ())

Action on save

-> IO (Maybe FilePath) 

displayTheoryWithWarning Source #

Arguments

:: String

Kind of theory

-> String

Name of theory

-> String

Warning

-> G_theory

Theory

-> IO () 

displays a theory with warning in a window

progressBar Source #

Arguments

:: String

Title

-> String

Description

-> IO (Double -> String -> IO (), IO ()) 

pulseBar Source #

Arguments

:: String

Title

-> String

Description

-> IO (String -> IO (), IO ())