| 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
- listBox :: String -> [String] -> IO (Maybe Int)
- createTextSaveDisplay :: String -> FilePath -> String -> IO ()
- askFileNameAndSave :: FilePath -> String -> IO ()
- createTextDisplay :: String -> String -> IO ()
- infoDialog :: 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
create a window with title and list of options, return selected option
Display some (longish) text in an uneditable, scrollable editor.
opens a FileDialog and saves to the selected file if Save is clicked
Display some (longish) text in an uneditable, scrollable editor.
create a window which displays a given text
create a window which displays a given error
create a window which displays a given warning and ask for continue
create a window which displays a given question
displays a theory with warning in a window