jEdit / Patches / #319 Patch to fix tracker 2939615

jEdit is a programmer's text editor written in Java.

#319 Patch to fix tracker 2939615

Status: closed-invalid

Owner: nobody

Labels: None

Priority: 5

Updated: 2010-05-09

Created: 2010-02-11

Creator: Dale Anson

Private: No

Tracker 2939615 is posted against the JDiff plugin, but the actual fix is in View.java. The setMainContent class does not reset the splitPane nor the editPane fields, so subsequent calls to updateTitle don't work correctly as the split pane is not null when it should be, resulting in the title for the View being shown incorrectly. This patch fixes that.

Discussion

Dale Anson - 2010-02-11

patch to set internal fields so view title is displayed correctly

View.java.patch

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Dale Anson - 2010-02-11

priority: 1 --> 5
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Dale Anson - 2010-02-11

I probably submitted this in the wrong place, it's already applied to trunk. I entered a new tracker item, 2949473, to have this patch merged to the release branch.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Kazutoshi Satoda - 2010-05-09

r17256 was it.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Kazutoshi Satoda - 2010-05-09

status: open --> closed-invalid
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Patch to fix tracker 2939615

jEdit is a programmer's text editor written in Java.

Group

Searches

Help

#319 Patch to fix tracker 2939615

Discussion