From 88dd1e7d2eea674e1b6c2bc068101fb21ea561d9 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 23 Dec 2014 18:16:19 -0500 Subject: [PATCH] Reset style to normal on exit. --- rmacs/display.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/rmacs/display.rkt b/rmacs/display.rkt index 3ac4a21..15a877e 100644 --- a/rmacs/display.rkt +++ b/rmacs/display.rkt @@ -64,7 +64,8 @@ (tty-reset *stdin-tty*) (plumber-add-flush! (current-plumber) (lambda (h) - (tty-style-reset *stdin-tty*) + (tty-display *stdin-tty* + (select-graphic-rendition style-normal)) (tty-goto *stdin-tty* (tty-last-row *stdin-tty*) 0)))) *stdin-tty*)