HTk's embedded windows inside an editor widget.
- data EmbeddedTextWin
- createEmbeddedTextWin :: (HasIndex Editor i BaseIndex, Widget w) => Editor -> i -> w -> [Config EmbeddedTextWin] -> IO EmbeddedTextWin
- stretch :: Toggle -> Config EmbeddedTextWin
- getStretch :: EmbeddedTextWin -> IO Toggle
Documentation
data EmbeddedTextWin Source
The EmbeddedTextWin
datatype.
Eq EmbeddedTextWin | |
Destroyable EmbeddedTextWin | An embedded text window can be destroyed. |
Synchronized EmbeddedTextWin | You can synchronize on an embedded text window object. |
GUIObject EmbeddedTextWin | Internal. |
HasIndex Editor EmbeddedTextWin BaseIndex | Internal. |
:: (HasIndex Editor i BaseIndex, Widget w) | |
=> Editor | the parent editor widget. |
-> i | the editor's index to place the embedded window. |
-> w | the contained widget. |
-> [Config EmbeddedTextWin] | the list of configuration options for this embedded text window. |
-> IO EmbeddedTextWin | An embedded window inside an editor widget. |
Constructs a new embedded window inside an editor widget and returns a handler.
stretch :: Toggle -> Config EmbeddedTextWinSource
If set the contained widget is stretched vertically to match the spacing of the line.
getStretch :: EmbeddedTextWin -> IO ToggleSource
Gets the current stretch setting.