From 3e59074974eac2ef37c4121e59cf6b42012e3242 Mon Sep 17 00:00:00 2001
From: Kevin Lange <klange@yelp.com>
Date: Wed, 22 May 2013 20:56:52 -0700
Subject: [PATCH] [terminal] redraw cursor on focus change

---
 userspace/gui/terminal/terminal.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/userspace/gui/terminal/terminal.c b/userspace/gui/terminal/terminal.c
index f5d7ab35..2b165fd0 100644
--- a/userspace/gui/terminal/terminal.c
+++ b/userspace/gui/terminal/terminal.c
@@ -102,6 +102,7 @@ uint8_t  _hold_out      = 0;    /* state indicator on last cell ignore \n */
 uint8_t  _onlcr         = 1;
 
 void reinit(); /* Defined way further down */
+void term_redraw_cursor();
 
 /* Cursor bink timer */
 static unsigned int timer_tick = 0;
@@ -821,6 +822,7 @@ void resize_callback(window_t * window) {
 
 void focus_callback(window_t * window) {
 	render_decors();
+	term_redraw_cursor();
 }
 
 void