JDiff: use history field for patch filename

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

Brought to you by: daleanson, ezust, grepppo, k_satoda, and 5 others

Status: open

Owner: Dale Anson

Labels: None

Priority: 5

Updated: 2012-08-27

Created: 2012-08-27

Private: No

No comments. A simple control replacement.

Jarek Czekalski - 2012-09-11

I have repository access, but I don't know if I'm allowed to commit to JDiff.

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