> The mouse wheel would look broken if scrolling stopped when control is > accidentally pressed.
Hmm, ok, in that case is it safe for us to simply edit the event to remove the control mask then let it go to Scintilla, maybe @b4n knows, or you could try it. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/3835#issuecomment-2053882168 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/3835/[email protected]>
