Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.
Maybe Scintilla needs to export some controls, such as resetting when the user does reload, although of course that can be undone, so maybe not.
Some downstream projects have actually resorted to emptying the undo buffer on file reload, then toggling Scintilla's edit tracker off and on, to simulate a freshly opened file: notepad-plus-plus/notepad-plus-plus#13858
An ugly hack, for sure, and then there's the files.keep_edit_history_on_reload option, which would have to be overstepped whenever change history is active.
Good call to leave it off; it's a self-confessed work in progress, anyway:
During the long development of change history, users (including application developers) were uninterested in details and even argued in favour of inaccurate implementations as better than nothing.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.