 | Source code | Contents | Index |
| EmbeddedTextWin |
| data EmbeddedTextWin |
| createEmbeddedTextWin :: (HasIndex Editor i BaseIndex, Widget w) => Editor -> i -> w -> [Config EmbeddedTextWin] -> IO EmbeddedTextWin |
| stretch :: Toggle -> Config EmbeddedTextWin |
| getStretch :: EmbeddedTextWin -> IO Toggle |
| :: (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. | |