Menu

#548 Dirty buffer on changed file merge

none
open
nobody
5
2020-02-18
2020-02-18
No

At times I find jEdit telling me that a file underlying a buffer has been changed. I would appreciate the possibility to compare the file with the buffer and in case of dirty buffer to merge file and dirty buffer into the buffer (or maybe a new buffer). I see that there is functional overlap with the jDiff plugin.

Discussion


Log in to post a comment.