[gnome-builder/document-manager] misc

[Christian Hergert <chergert src gnome org>]

commit 18d1d5f38c3b31559830c33a0d081b994506559e
Author: Christian Hergert <christian hergert me>
Date:   Tue Dec 9 17:38:32 2014 -0800

    misc

 src/editor/gb-editor-frame.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/editor/gb-editor-frame.c b/src/editor/gb-editor-frame.c
index 526bedd..2027a72 100644
--- a/src/editor/gb-editor-frame.c
+++ b/src/editor/gb-editor-frame.c
@@ -896,6 +896,7 @@ gb_editor_frame_on_jump_to_doc (GbEditorFrame *frame,
 
   g_return_if_fail (GB_IS_EDITOR_FRAME (frame));
   g_return_if_fail (GB_IS_SOURCE_VIM (vim));
+  g_return_if_fail (search_text);
 
   workbench = gb_widget_get_workbench (GTK_WIDGET (frame));
   if (!workbench)