Windows: disable QUICK_EDIT_MODE on start
ForNeVeR opened this issue · 2 comments
ForNeVeR commented
Currently, Windows 10 console has ENABLE_QUICK_EDIT_MODE flag by default which messes up any mouse interactions.
I suggest ConsoleFramework should disable this mode when starting. I've done it via this quick F# snippet:
let private initializeWindows() =
let stdin = Windows.getStdInHandle()
let consoleMode = Windows.getConsoleMode stdin
if consoleMode &&& Windows.Constants.ENABLE_QUICK_EDIT_MODE <> 0u then
let newMode =
(consoleMode ||| Windows.Constants.ENABLE_EXTENDED_FLAGS) &&& ~~~Windows.Constants.ENABLE_QUICK_EDIT_MODE
Windows.setConsoleMode stdin newMode(essentially, you should just call SetConsoleMode(stdin, (mode | ENABLE_EXTENDED_FLAGS) & ~ENABLE_QUICK_EDIT_MODE))
elw00d commented
Yes, will close this, thanks !