private void highlightText ( int start ) { editor . setCaretPosition ( editor . getText ( ) . length ( ) ) ; editor . moveCaretPosition ( start ) ; }
Highlight the text from the given start location to the end of the text .