Re: How to clear change history markers?

"[email protected]" <[email protected]> Mon, 21 Apr 2025 07:34:31 -0700 (PDT)
Newsgroups gmane.comp.lib.scintilla.devel
Message-ID <[email protected]>
So I just want to confirm that once change history is enabled, there's no 
way to clear the markers? If I enable change history in my editor setup 
code and later set the text, emptying the undo buffer doesn't clear the 
markers and I still get the green markers even though there's nothing to 
undo.

-- 
You received this message because you are subscribed to the Google Groups "scintilla-interest" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].
To view this discussion visit https://groups.google.com/d/msgid/scintilla-interest/aa669bd5-48e9-49e6-81b8-c33f48318f68n%40googlegroups.com.