1 files changed, 3 insertions, 0 deletions
diff --git a/BUGS b/BUGS
index 3be0808fd..a4bfbf2ac 100644
--- a/BUGS
+++ b/BUGS
@@ -10,6 +10,9 @@
 ^Z can be used while ^D does not work
+^C sometimes does not work (Ctrl-Break always works though).
+This may have something to do with read_key()?
 ** $HOME not set
 $HOMEPATH should probably be used

diff --git a/BUGS b/BUGS index 3be0808fd..a4bfbf2ac 100644 --- a/BUGS +++ b/BUGS
@@ -10,6 +10,9 @@
10		10
11	^Z can be used while ^D does not work	11	^Z can be used while ^D does not work
12		12
		13	^C sometimes does not work (Ctrl-Break always works though).
		14	This may have something to do with read_key()?
		15
13	** $HOME not set	16	** $HOME not set
14		17
15	$HOMEPATH should probably be used	18	$HOMEPATH should probably be used