anjuta r3725 - in trunk: . plugins/sourceview

[jhs svn gnome org]

Author: jhs
Date: Thu Feb 28 08:49:19 2008
New Revision: 3725
URL: http://svn.gnome.org/viewvc/anjuta?rev=3725&view=rev

Log:
2008-02-28  Johannes Schmid <jhs gnome org>

	* plugins/sourceview/anjuta-view.c: (anjuta_view_key_press_event):
	Hide tooltip when Up, Down, Page_Up or Page_Down is pressed


Modified:
   trunk/ChangeLog
   trunk/plugins/sourceview/anjuta-view.c

Modified: trunk/plugins/sourceview/anjuta-view.c
==============================================================================
--- trunk/plugins/sourceview/anjuta-view.c	(original)
+++ trunk/plugins/sourceview/anjuta-view.c	Thu Feb 28 08:49:19 2008
@@ -745,10 +745,15 @@
 	assist_tip = view->priv->sv->priv->assist_tip;
 	if (assist_tip)
 	{
-		if (event->keyval == GDK_Escape)
-		{
-			gtk_widget_destroy (GTK_WIDGET(view->priv->sv->priv->assist_tip));
-			return TRUE;
+    switch (event->keyval)
+    {
+      case GDK_Escape:
+      case GDK_Up:
+      case GDK_Down:
+      case GDK_Page_Up:
+      case GDK_Page_Down:
+        gtk_widget_destroy (GTK_WIDGET(view->priv->sv->priv->assist_tip));
+        break;
 		}
 	}
 	return (* GTK_WIDGET_CLASS (anjuta_view_parent_class)->key_press_event)(widget, event);