Hets - the Heterogeneous Tool Set

Copyright(c) K. Luettich Rene Wagner Uni Bremen 2002-2005
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable (imports HTk)
Safe HaskellNone

GUI.HTkUtils

Description

Utilities on top of HTk

Synopsis

Documentation

data LBGoalView Source #

Represents a goal in a ListBox that uses populateGoalsListBox

Constructors

LBGoalView 

Fields

data EnableWid Source #

existential type for widgets that can be enabled and disabled

Constructors

HasEnable wid => EnW wid 

type GUIMVar = MVar (Maybe Toplevel) Source #

Type for storing the proof management window

listBox :: String -> [String] -> IO (Maybe Int) Source #

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

errorMess :: String -> IO () #

confirmMess :: String -> IO Bool #

messageMess :: String -> IO () #

askFileNameAndSave Source #

Arguments

:: String

default filename for saving the text

-> String

text to be saved

-> IO () 

createTextSaveDisplay Source #

Arguments

:: String

title of the window

-> String

default filename for saving the text

-> String

text to be displayed

-> IO () 

Display some (longish) text in an uneditable, scrollable editor. Simplified version of createTextSaveDisplayExt

newFileDialogStr :: String -> FilePath -> IO (Event (Maybe FilePath)) #

fileDialogStr :: String -> FilePath -> IO (Event (Maybe FilePath)) #

displayTheoryWithWarning Source #

Arguments

:: String

kind of theory

-> String

name of theory

-> String

warning text

-> G_theory

to be shown theory

-> IO () 

returns a window displaying the given theory and the given warning text.

populateGoalsListBox Source #

Arguments

:: ListBox String

listbox

-> [LBGoalView]

list of goals length must remain constant after the first call

-> IO () 

Populates a ListBox with goals. After the initial call to this function the number of goals is assumed to remain constant in ensuing calls.

indicatorString :: LBStatusIndicator -> String Source #

Converts a LBStatusIndicator into a short String representing it in a ListBox

enableWidsUponSelection :: ListBox String -> [EnableWid] -> IO () Source #

enables widgets only if at least one entry is selected in the listbox, otherwise the widgets are disabled