From cf74237900fb840cb9e92e64f35063e93b098788 Mon Sep 17 00:00:00 2001
From: Simon Tatham <anakin@pobox.com>
Date: Mon, 14 Oct 2002 23:39:07 +0000
Subject: [PATCH] Don't cause the mouse pointer to reappear just because it's
 changed shape.

[originally from svn r2053]
---
 unix/pterm.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/unix/pterm.c b/unix/pterm.c
index 0c1dc7c4..c612fd3b 100644
--- a/unix/pterm.c
+++ b/unix/pterm.c
@@ -38,6 +38,7 @@ struct gui_data {
     int pasteout_data_len;
     int font_width, font_height;
     int ignore_sbar;
+    int mouseptr_visible;
     guint term_paste_idle_id;
     GdkAtom compound_text_atom;
     char wintitle[sizeof(((Config *)0)->wintitle)];
@@ -189,6 +190,7 @@ void show_mouseptr(int show)
 	gdk_window_set_cursor(inst->area->window, inst->currcursor);
     else
 	gdk_window_set_cursor(inst->area->window, inst->blankcursor);
+    inst->mouseptr_visible = show;
 }
 
 gint configure_area(GtkWidget *widget, GdkEventConfigure *event, gpointer data)
@@ -802,7 +804,7 @@ void set_raw_mouse_mode(int activate)
 	inst->currcursor = inst->rawcursor;
     else
 	inst->currcursor = inst->textcursor;
-    show_mouseptr(1);
+    show_mouseptr(inst->mouseptr_visible);
 }
 
 void request_resize(int w, int h)