Example #1
0
 /** Deselects the highlighted text. */
 public void deselect() {
   int selStart = xtext.getSelectionStart();
   int selEnd = xtext.getSelectionEnd();
   if (selStart != selEnd) {
     xtext.select(selStart, selStart);
   }
 }
Example #2
0
 /** @see java.awt.peer.TextComponentPeer */
 @Override
 public int getSelectionEnd() {
   return xtext.getSelectionEnd();
 }