Copyright	(c) C. Maeder Uni Bremen 2002-2005
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	non-portable (cpp)
Safe Haskell	None

GUI.Utils

Description

Utilities on top of HTk or System.IO

Synopsis

listBox :: String -> [String] -> IO (Maybe Int)
createTextSaveDisplay :: String -> FilePath -> String -> IO ()
askFileNameAndSave :: FilePath -> String -> IO ()
infoDialog :: String -> String -> IO ()
createTextDisplay :: String -> String -> IO ()
errorDialog :: String -> String -> IO ()
warningDialog :: String -> String -> IO Bool
questionDialog :: String -> String -> IO Bool
fileOpenDialog :: FilePath -> [(String, [String])] -> Maybe (FilePath -> IO ()) -> IO (Maybe FilePath)
fileSaveDialog :: FilePath -> [(String, [String])] -> Maybe (FilePath -> IO ()) -> IO (Maybe FilePath)
displayTheoryWithWarning :: String -> String -> String -> G_theory -> IO ()
progressBar :: String -> String -> IO (Double -> String -> IO (), IO ())
pulseBar :: String -> String -> IO (String -> IO (), IO ())

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 ())