(FocusEvent e)
| 178 | }); |
| 179 | textArea.addFocusListener(new FocusListener() { |
| 180 | public void focusGained(FocusEvent e) { |
| 181 | Element root = textArea.getDocument().getDefaultRootElement(); |
| 182 | int lineStart = root.getElementIndex(textArea.getCaret().getMark()); |
| 183 | int lineEnd = root.getElementIndex(textArea.getCaret().getDot()); |
| 184 | editor.lineStatus.set(lineStart, lineEnd); |
| 185 | }; |
| 186 | public void focusLost(FocusEvent e) {}; |
| 187 | }); |
| 188 | ToolTipManager.sharedInstance().registerComponent(textArea); |