[ jEdit-users ] Adding a marker shouldn't mark buffer as "modified"

[Michael H. <drm...@dr...>]

Hi,

When a file is changed, jEdit marks the buffer as "modified" with a
red diskette icon. I rely heavily on this extremely useful and common
feature in most of the application programs I use.

I have noticed, however, that adding or removing markers in the buffer
marks the buffer as "modified", even if the buffer contents haven't
changed. This is misleading to users that rely on the icon to tell
whether the file has been edited, perhaps due to a spurious keypress
while simply browsing a file.

Could this behavior be changed?  I'd like to add and remove markers
without impacting the buffer's "modified" state.  It would provide
a clean, unambiguous meaning for the red diskette icon, and make both
the icon and markers themselves more useful to jEdit users.

Thanks for your consideration,
Michael Henry