| 1910 | } |
| 1911 | |
| 1912 | void TeXDocumentWindow::selectRange(int start, int length) |
| 1913 | { |
| 1914 | QTextCursor c = textCursor(); |
| 1915 | c.setPosition(start); |
| 1916 | c.setPosition(start + length, QTextCursor::KeepAnchor); |
| 1917 | editor()->setTextCursor(c); |
| 1918 | } |
| 1919 | |
| 1920 | void TeXDocumentWindow::insertText(const QString& text) |
| 1921 | { |
no test coverage detected