From: Sergey V. Udaltsov <sergey.oudaltsov@cl...> - 2001-11-19 17:13:40
I have noticed for years that JEdit has problems with the buffer state:
1. If I do (say, type) something and then undo - the buffer is still in
"changed" state. It is wrong IMHO.
2. The same problem applies to formatters. For example, if JavaStyle
formats the buffer, it does not give a damn about any differences - it
always set the flag "changed". IMHO it is wrong too.
Will the problem be addressed in 4.0?
On Mon, Nov 19, 2001 at 04:56:57PM +0000, Sergey V. Udaltsov wrote:
> 1. If I do (say, type) something and then undo - the buffer is still in
> "changed" state. It is wrong IMHO.
This is already fixed in 4.0pre1.