JSyntaxHighlighter/LineNumbers.java
public void mousePressed(MouseEvent e) {
		        if (e.getSource() == this) {
		              if (e.getX() < textWidth) {
		                    anchor = e.getY() / lineWidth + 1;
		                    lastIndex = anchor;
		                    doSelection();
		                    repaint();
		                    editorPane.requestFocus();
		              }
		        } else {
		              anchor = lastIndex = -1;
		              repaint();
		        }
		  }
/**
		   * Selects the number that was clicked on and sets it as an "anchor" for
		   * dragging.
		   */
Selects the number that was clicked on and sets it as an "anchor" for
dragging.
Selects the number that was clicked on and sets it as an " anchor " for dragging .
public void mousePressed(MouseEvent e) {
		        if (e.getSource() == this) {
		              if (e.getX() < textWidth) {
		                    anchor = e.getY() / lineWidth + 1;
		                    lastIndex = anchor;
		                    doSelection();
		                    repaint();
		                    editorPane.requestFocus();
		              }
		        } else {
		              anchor = lastIndex = -1;
		              repaint();
		        }
		  }
public void mousePressed ( MouseEvent e ) { if ( e . getSource ( ) == this ) { if ( e . getX ( ) < textWidth ) { anchor = e . getY ( ) / lineWidth + 1 ; lastIndex = anchor ; doSelection ( ) ; repaint ( ) ; editorPane . requestFocus ( ) ; } } else { anchor = lastIndex = - 1 ; repaint ( ) ; } }
Selects the number that was clicked on and sets it as an "anchor" for
 dragging.
Selects the number that was clicked on and sets it as an " anchor " for dragging .