A text editor widget. More...
| void | convert(string format) |
| string | fileName |
| void | openFile(string fileName, string codec="") |
| bool | modified() |
| void | saveFile(string fileName, string codec="") |
| bool | setModifyAdded() |
| bool | setModifyChanged() |
| bool | setModifySaved() |
| void | setLexer(string lexer) |
| void | setText(string text) |
| string | text() |
| string | title |
the main widget of a text editor. It hold alls text relavant informations.
Convert the contents text into an other format. format will choose the target format. These format convertion are available:
None yet, will be added shortly!
File name of this file.
A file with the name s is opened. If codec is empty the encoding is detected automatic.
Returns: true, if the design was modifies after the last save
The text is saved to fileName. If codec is empty the encoding is detected automatic.
marks the design shapes to be added
marks the design to be modified
marks the design not to be modified
The lexer for highlighting is set.
set the text being displayed
Returns: The complete text of the file.
Title of this file only used in the list open open files.