JSyntaxHighlighter/LineNumbers.java
public void mouseReleased(MouseEvent e) {
		        if (e.getSource() == this) {
		              if (e.getX() < textWidth) {
		                    if (lastIndex != e.getY() / lineWidth + 1) {
		                          lastIndex = e.getY() / lineWidth + 1;
		                          doSelection();
		                          repaint();
		                    }
		                    editorPane.requestFocus();
		              }
		        } else {
		              anchor = lastIndex = -1;
		              repaint();
		        }
		  }
/**
		   * Sets the end anchor and updates the state of the widget to reflect that
		   * the click-and-drag gesture has ended.
		   */
Sets the end anchor and updates the state of the widget to reflect that
the click-and-drag gesture has ended.
Sets the end anchor and updates the state of the widget to reflect that the click - and - drag gesture has ended .
public void mouseReleased(MouseEvent e) {
		        if (e.getSource() == this) {
		              if (e.getX() < textWidth) {
		                    if (lastIndex != e.getY() / lineWidth + 1) {
		                          lastIndex = e.getY() / lineWidth + 1;
		                          doSelection();
		                          repaint();
		                    }
		                    editorPane.requestFocus();
		              }
		        } else {
		              anchor = lastIndex = -1;
		              repaint();
		        }
		  }
public void mouseReleased ( MouseEvent e ) { if ( e . getSource ( ) == this ) { if ( e . getX ( ) < textWidth ) { if ( lastIndex != e . getY ( ) / lineWidth + 1 ) { lastIndex = e . getY ( ) / lineWidth + 1 ; doSelection ( ) ; repaint ( ) ; } editorPane . requestFocus ( ) ; } } else { anchor = lastIndex = - 1 ; repaint ( ) ; } }
Sets the end anchor and updates the state of the widget to reflect that
 the click-and-drag gesture has ended.
Sets the end anchor and updates the state of the widget to reflect that the click - and - drag gesture has ended .