Copyright | (c) Thiemo Wiedemeyer, Uni Bremen 2008 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | raider@informatik.uni-bremen.de |
Stability | provisional |
Portability | non-portable |
Safe Haskell | None |
This module provides the ability to store xml stings in a temporary file to load it with gtk2hs. This is needed, because gtk2hs needs glade files for input, but we want to distribute them within the binary.
- getGladeXML :: (String, String) -> IO GladeXML
- startMainLoop :: IO ()
- stopMainLoop :: IO ()
- forkIO_ :: IO () -> IO ()
- forkIOWithPostProcessing :: IO a -> (a -> IO ()) -> 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)
- listChoiceAux :: String -> (a -> String) -> [a] -> IO (Maybe (Int, a))
- listChoice :: String -> [String] -> IO (Maybe Int)
- progressBar :: String -> String -> IO (Double -> String -> IO (), IO ())
- pulseBar :: String -> String -> IO (String -> IO (), IO ())
- textView :: String -> String -> Maybe FilePath -> IO ()
- displayTheoryWithWarning :: String -> String -> String -> G_theory -> IO ()
- infoDialogExt :: String -> String -> IO ()
- errorDialogExt :: String -> String -> IO ()
- warningDialogExt :: String -> String -> IO Bool
- questionDialogExt :: String -> String -> IO Bool
- fileOpenDialogExt :: FilePath -> [(String, [String])] -> Maybe (FilePath -> IO ()) -> IO (Maybe FilePath)
- fileSaveDialogExt :: FilePath -> [(String, [String])] -> Maybe (FilePath -> IO ()) -> IO (Maybe FilePath)
- listChoiceExt :: String -> [String] -> IO (Maybe Int)
- progressBarExt :: String -> String -> IO (Double -> String -> IO (), IO ())
- pulseBarExt :: String -> String -> IO (String -> IO (), IO ())
- textViewExt :: String -> String -> Maybe FilePath -> IO ()
- displayTheoryWithWarningExt :: String -> String -> String -> G_theory -> IO ()
- setListData :: TreeView -> (a -> String) -> [a] -> IO (ListStore a)
- updateListData :: ListStore a -> [a] -> IO ()
- setListSelectorSingle :: TreeView -> IO () -> IO (ConnectId TreeSelection)
- setListSelectorMultiple :: TreeView -> Button -> Button -> Button -> IO () -> IO (ConnectId TreeSelection)
- selectFirst :: TreeView -> IO ()
- getSelectedSingle :: TreeView -> ListStore a -> IO (Maybe (Int, a))
- getSelectedMultiple :: TreeView -> ListStore a -> IO [(Int, a)]
- selectAllRows :: TreeView -> IO ()
- activate :: [Widget] -> Bool -> IO ()
- escapeGtkMarkup :: String -> String
Documentation
getGladeXML :: (String, String) -> IO GladeXML
Returns a GladeXML Object of a xmlstring.
startMainLoop :: IO ()
Starts the gtk main event loop in a thread
stopMainLoop :: IO ()
forkIOWithPostProcessing :: IO a -> (a -> IO ()) -> IO ()
Windows for use inside Gtk thread
create a window which displays a given warning and ask for continue
create a window which displays a given question
:: String | Title |
-> (a -> String) | Name of element |
-> [a] | Rows to display |
-> IO (Maybe (Int, a)) | Selected row |
create a window with title and list of options, return selected option
create a window with title and list of options, return selected option
Display text in an uneditable, scrollable editor. Not blocking!
displays a theory with warning in a window
Windows for use in Gtk windows
create a window which displays a given warning and ask for continue
create a window which displays a given question
create a window with title and list of options, return selected option
Display text in an uneditable, scrollable editor. Not blocking!
displays a theory with warning in a window
Frequently used functions inside Gtk thread
setListData :: TreeView -> (a -> String) -> [a] -> IO (ListStore a)
Sets data of list
updateListData :: ListStore a -> [a] -> IO ()
Updates data of list
setListSelectorSingle :: TreeView -> IO () -> IO (ConnectId TreeSelection)
Setup list with single selection
setListSelectorMultiple :: TreeView -> Button -> Button -> Button -> IO () -> IO (ConnectId TreeSelection)
Setup list with multiple selection
selectFirst :: TreeView -> IO ()
Selects the first item if possible
getSelectedMultiple :: TreeView -> ListStore a -> IO [(Int, a)]
Get selected items and row number
selectAllRows :: TreeView -> IO ()
Select all rows
escapeGtkMarkup :: String -> String