See the attched patch (sorry, it is not compiled). The problem seems to
have been introduced in r15401, which missed to adjust the condition to
do editPaneNavigatorMap.remove().
http://jedit.svn.sourceforge.net/jedit/?view=rev&rev=15401
Alan Ezust
None
None
Public
|
Date: 2012-03-11 21:23:04 PDT Committed 21335. |
| Filename | Description | Download |
|---|---|---|
| Fix_EditPane_leaks.patch | svn diff for jEdit/trunk r21326 | Download |
| Field | Old Value | Date | By |
|---|---|---|---|
| status_id | Open | 2012-03-11 21:23:04 PDT | ezust |
| resolution_id | None | 2012-03-11 21:23:04 PDT | ezust |
| assigned_to | nobody | 2012-03-11 21:23:04 PDT | ezust |
| allow_comments | 1 | 2012-03-11 21:23:04 PDT | ezust |
| close_date | - | 2012-03-11 21:23:04 PDT | ezust |
| File Added | 438007: Fix_EditPane_leaks.patch | 2012-03-11 10:28:34 PDT | k_satoda |