From 8026c924dca0068926e5d608cf269a2091965b95 Mon Sep 17 00:00:00 2001
From: Keith Winstein <keithw@mit.edu>
Date: Wed, 23 May 2012 11:44:49 -0400
Subject: [PATCH] Quit with cursor visible.

---
 src/terminal/terminal.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/terminal/terminal.cc b/src/terminal/terminal.cc
index 41f2b6b..3b2439d 100644
--- a/src/terminal/terminal.cc
+++ b/src/terminal/terminal.cc
@@ -157,7 +157,7 @@ std::string Emulator::open( void )
 
 std::string Emulator::close( void )
 {
-  return std::string( "\033[?1l\033[0m" );
+  return std::string( "\033[?1l\033[0m\033[?25h" );
 }
 
 void Emulator::resize( size_t s_width, size_t s_height )