Restore terminal settings after flushing output, not before

2017-08-22 22:26:50 +10:00
parent 73148fa4a4
commit 742eeb33f7
2 changed files with 4 additions and 3 deletions
--- a/2
+++ b/2
@@ -1,5 +1,7 @@
 [Changes 1.2.2]

+* Restore terminal settings after flushing output, not before. (caf)
+
 * Remove exported function create_server_list(). (caf)

 * Fix $myservers(1) to only return registered server refnums, so it now