From 2c5255b486c17a04ec79de6f0b0dc2f57e9cc85c Mon Sep 17 00:00:00 2001
From: "Adam D. Ruppe" <destructionator@gmail.com>
Date: Thu, 13 May 2021 11:38:39 -0400
Subject: [PATCH] fix ctrl+d bug in getline keeping the buffer

---
 terminal.d | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/terminal.d b/terminal.d
index 3fa4412..dcd34b1 100644
--- a/terminal.d
+++ b/terminal.d
@@ -5951,7 +5951,8 @@ class LineGetter {
 							goto default;
 						if(line.length == 0)
 							eof = true;
-						goto case;
+						justHitTab = justKilled = false;
+						return false; // indicate end of line so it doesn't maintain the buffer thinking it was ctrl+enter
 					case '\r':
 					case '\n':
 						justHitTab = justKilled = false;