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.
Submitted | thiemo - 2020-02-18 08:06:49.336000 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | dirty buffer |
Status | open | Group | none |
Resolution | None |