| 2129 | } |
| 2130 | |
| 2131 | void TextDocument::selectTo( TextPosition position ) { |
| 2132 | setSelection( TextRange( sanitizePosition( position ), getSelection().end() ) ); |
| 2133 | } |
| 2134 | |
| 2135 | void TextDocument::selectTo( int offset ) { |
| 2136 | const TextRange& range = getSelection(); |
no test coverage detected