> 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. > > <https://sourceforge.net/p/scintilla/bugs/2359/#1962> -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/3591#issuecomment-1763513566 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/3591/[email protected]>
