From 0fd3d3eef02e11ac0d6c26fb378011e4aac2b9cd Mon Sep 17 00:00:00 2001 From: "Adam D. Ruppe" Date: Mon, 23 Nov 2015 20:42:22 -0500 Subject: [PATCH] hack for easier copy/pasting on easy getline use with mouse --- terminal.d | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/terminal.d b/terminal.d index 5df1dad..e8387fe 100644 --- a/terminal.d +++ b/terminal.d @@ -1196,7 +1196,8 @@ http://msdn.microsoft.com/en-us/library/windows/desktop/ms683193%28v=vs.85%29.as if(prompt !is null) lineGetter.prompt = prompt; - auto line = lineGetter.getline(); + auto input = RealTimeConsoleInput(&this, ConsoleInputFlags.raw); + auto line = lineGetter.getline(&input); // lineGetter leaves us exactly where it was when the user hit enter, giving best // flexibility to real-time input and cellular programs. The convenience function,