(MouseEvent e)
| 79 | |
| 80 | addMouseListener(new MouseAdapter() { |
| 81 | @Override |
| 82 | synchronized public void mouseClicked(MouseEvent e) { |
| 83 | try { |
| 84 | int row = ((ErrorTable) e.getSource()).getSelectedRow(); |
| 85 | if (row >= 0 && row < getRowCount()) { |
| 86 | Object data = getModel().getValueAt(row, DATA_COLUMN); |
| 87 | int clickCount = e.getClickCount(); |
| 88 | if (clickCount == 1) { |
| 89 | editor.errorTableClick(data); |
| 90 | } else if (clickCount > 1) { |
| 91 | editor.errorTableDoubleClick(data); |
| 92 | } |
| 93 | editor.getTextArea().requestFocusInWindow(); |
| 94 | // editor.getErrorChecker().scrollToErrorLine(row); |
| 95 | } |
| 96 | } catch (Exception ex) { |
| 97 | ex.printStackTrace(); |
| 98 | } |
| 99 | } |
| 100 | }); |
| 101 | |
| 102 | getTableHeader().setReorderingAllowed(false); |
nothing calls this directly
no test coverage detected