HTk.Toolkit.TextDisplay
Description
A simple window to display uneditable, scrollable text (e.g. error logs)
Documentation
Arguments
| :: String | the title of the window |
| -> String | the text to be displayed |
| -> [Config Editor] | configuration options for the text editor |
| -> IO () | action to be executed when the window is closed |
| -> IO (Toplevel, Editor) | the window in which the text is displayed |
Display some (longish) text in an uneditable, scrollable editor. Returns immediately-- the display is forked off to separate thread.