[gnome-latex: 179/205] Bug fix in jump_to_file()

[Sébastien Wilmet <swilmet src gnome org>]

commit 5370c901cbd40f28ec822d4496758d66e0f8929a
Author: Sébastien Wilmet <sebastien wilmet gmail com>
Date:   Fri Jan 22 15:17:28 2010 +0100

    Bug fix in jump_to_file()

 src/log.c   | 5 +++++
 src/utils.c | 1 +
 2 files changed, 6 insertions(+)
---
diff --git a/src/log.c b/src/log.c
index b9ab5cc..28aebba 100644
--- a/src/log.c
+++ b/src/log.c
@@ -664,6 +664,11 @@ jump_to_file (void)
                // open the file (if the file is already opened, go to it)
                open_new_document_without_uri (filename);
 
+               // we flush the queue here because without that, there is a bug when the
+               // file is not already opened, scroll_to_cursor() doesn't work as
+               // expected.
+               flush_queue ();
+
                // go to line
                if (line_number != NULL && strlen (line_number) != 0
                                && latexila.active_doc != NULL)
diff --git a/src/utils.c b/src/utils.c
index 9678ec3..860cb44 100644
--- a/src/utils.c
+++ b/src/utils.c
@@ -23,6 +23,7 @@
 
 #include "main.h"
 #include "utils.h"
+#include "print.h"
 
 void
 flush_queue (void)