[gnome-builder] editor-frame: use GDK_EVENT_STOP and GDK_EVENT_PROPAGATE

[Christian Hergert <chergert src gnome org>]

commit 4b06db590467f455ae45fc0c8a0c48208523b44b
Author: Christian Hergert <christian hergert me>
Date:   Sat May 9 12:09:04 2015 -0700

    editor-frame: use GDK_EVENT_STOP and GDK_EVENT_PROPAGATE

 src/editor/gb-editor-frame.c |   11 ++++++-----
 1 files changed, 6 insertions(+), 5 deletions(-)
---
diff --git a/src/editor/gb-editor-frame.c b/src/editor/gb-editor-frame.c
index 991c4bc..e53e140 100644
--- a/src/editor/gb-editor-frame.c
+++ b/src/editor/gb-editor-frame.c
@@ -419,7 +419,8 @@ gb_editor_frame__search_key_press_event (GbEditorFrame *self,
       ide_source_view_clear_search (self->source_view);
       ide_source_view_set_rubberband_search (self->source_view, FALSE);
       gtk_widget_grab_focus (GTK_WIDGET (self->source_view));
-      return TRUE;
+
+      return GDK_EVENT_STOP;
 
     case GDK_KEY_KP_Enter:
     case GDK_KEY_Return:
@@ -427,15 +428,15 @@ gb_editor_frame__search_key_press_event (GbEditorFrame *self,
         gb_widget_activate_action (GTK_WIDGET (self), "frame", "next-search-result", NULL);
       else
         gb_widget_activate_action (GTK_WIDGET (self), "frame", "previous-search-result", NULL);
-      return TRUE;
+      return GDK_EVENT_STOP;
 
     case GDK_KEY_Down:
       gb_widget_activate_action (GTK_WIDGET (self), "frame", "next-search-result", NULL);
-      return TRUE;
+      return GDK_EVENT_STOP;
 
     case GDK_KEY_Up:
       gb_widget_activate_action (GTK_WIDGET (self), "frame", "previous-search-result", NULL);
-      return TRUE;
+      return GDK_EVENT_STOP;
 
     default:
       {
@@ -457,7 +458,7 @@ gb_editor_frame__search_key_press_event (GbEditorFrame *self,
       break;
     }
 
-  return FALSE;
+  return GDK_EVENT_PROPAGATE;
 }
 
 static gboolean