Re: How to clear change history markers?
"'Neil Hodgson' via scintilla-interest" <[email protected]> Sat, 5 Apr 2025 07:24:46 +1100
| Newsgroups | gmane.comp.lib.scintilla.devel |
|---|---|
| Message-ID | <[email protected]> |
Hi Mitchell, > May I ask if you actually use this feature on a daily basis? Yes, I leave it turned on. > Or did you implement it for someone other than yourself? It has been a very common request over the years since other applications provide similar features. I wrote an inaccurate version of it long ago and people were prepared to use that despite its faults. Neil -- 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/C0D0DA3D-4709-46F7-AB4C-3A39788DC719%40me.com.