JSyntaxHighlighter/LineNumbers.java
public void mouseDragged(MouseEvent e) {
		        if (lastIndex != e.getY() / lineWidth + 1) {
		              if (e.getX() < textWidth) {
		                    lastIndex = e.getY() / lineWidth + 1;
		                    doSelection();
		                    repaint();
		              }
		        }
		        editorPane.requestFocus();
		  }
/**
		   * Temporarily moves the end anchor of the current selection.
		   */
Temporarily moves the end anchor of the current selection.
Temporarily moves the end anchor of the current selection .
public void mouseDragged(MouseEvent e) {
		        if (lastIndex != e.getY() / lineWidth + 1) {
		              if (e.getX() < textWidth) {
		                    lastIndex = e.getY() / lineWidth + 1;
		                    doSelection();
		                    repaint();
		              }
		        }
		        editorPane.requestFocus();
		  }
public void mouseDragged ( MouseEvent e ) { if ( lastIndex != e . getY ( ) / lineWidth + 1 ) { if ( e . getX ( ) < textWidth ) { lastIndex = e . getY ( ) / lineWidth + 1 ; doSelection ( ) ; repaint ( ) ; } } editorPane . requestFocus ( ) ; }
Temporarily moves the end anchor of the current selection.
Temporarily moves the end anchor of the current selection .