(MouseEvent e)
| 1168 | showLinePos(); |
| 1169 | } |
| 1170 | public void mouseClicked (MouseEvent e) { |
| 1171 | showLinePos(); |
| 1172 | } |
| 1173 | |
| 1174 | private void showLinePos() { // show line numbers in status bar (Norbert Vischer) |
| 1175 | char[] chars = ta.getText().toCharArray(); |
nothing calls this directly
no test coverage detected