| Summary: | Error dialog after toggling "Show Whitespace characters" | ||
|---|---|---|---|
| Product: | [Eclipse Project] Platform | Reporter: | Andrey Loskutov <loskutov> |
| Component: | Text | Assignee: | Platform-Text-Inbox <platform-text-inbox> |
| Status: | RESOLVED NOT_ECLIPSE | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | CC: | daniel_megert |
| Version: | 3.7 | ||
| Target Milestone: | --- | ||
| Hardware: | PC | ||
| OS: | Linux | ||
| Whiteboard: | |||
|
Description
Andrey Loskutov
> 3. Enjoy the error dialog
Maybe the provider of the HTMLSourceEditor has more fun with this ;-)
The problem is in
tk.eclipse.plugin.htmleditor.editors.HTMLSourceEditor.handlePreferenceStoreChanged(HTMLSourceEditor.java:216)
It looks like this editor doesn't remove its listeners upon close/dispose.
(In reply to comment #1) > The problem is in > tk.eclipse.plugin.htmleditor.editors.HTMLSourceEditor I'm very sorry, I've overseen this line. (In reply to comment #2) > (In reply to comment #1) > > The problem is in > > tk.eclipse.plugin.htmleditor.editors.HTMLSourceEditor > > I'm very sorry, I've overseen this line. np. |