$textLine(<line>) |
Returns the string at line <line>. Note that it can be an empty string. |
$insertLine(<text>, <line>) |
Inserts <text> at line number <line>. If line is less than zero, or larger than the number of rows, the new text is put at the end. If txt contains newline characters, several lines are inserted. The <line> parameter is optional. If it is ommited, the line is put at end. |
$removeLine(<line>) |
Removes line number <line>. |
$insertAt(<txt>, <line>, <col>) |
Inserts txt at line number line, after character number col in the line. If txt contains newline characters, new lines are inserted. |
$numLines() |
Returns number of lines in the widget. |
$setCursorPosition(<line>, <col>, <mark>) |
Sets the cursor position to character number col in line number line. The parameters are adjusted to lie within the legal range. If mark is FALSE, the selection is cleared. otherwise it is extended |
$cursorPosition() |
Returns current cursor position in "<line>, <col>" format. |