equal
deleted
inserted
replaced
166 firstChangeSkipped = true; |
166 firstChangeSkipped = true; |
167 } |
167 } |
168 |
168 |
169 public void dispose() { |
169 public void dispose() { |
170 XToolkit.specialPeerMap.remove(jtext); |
170 XToolkit.specialPeerMap.remove(jtext); |
|
171 // visible caret has a timer thread which must be stopped |
|
172 jtext.getCaret().setVisible(false); |
171 jtext.removeNotify(); |
173 jtext.removeNotify(); |
172 textPane.removeNotify(); |
174 textPane.removeNotify(); |
173 super.dispose(); |
175 super.dispose(); |
174 } |
176 } |
175 |
177 |