[gnome-builder] highlight: stop if no forward progress was made

[Christian Hergert <chergert src gnome org>]

commit 42ecd85d4d21f65f6dffb33183619a594252bb7f
Author: Christian Hergert <christian hergert me>
Date:   Thu Mar 26 17:04:12 2015 -0700

    highlight: stop if no forward progress was made

 libide/ide-highlight-engine.c |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/libide/ide-highlight-engine.c b/libide/ide-highlight-engine.c
index 0035e7a..aacdd41 100644
--- a/libide/ide-highlight-engine.c
+++ b/libide/ide-highlight-engine.c
@@ -202,6 +202,10 @@ ide_highlight_engine_tick (IdeHighlightEngine *self)
   if (gtk_text_iter_compare (&iter, &invalid_end) >= 0)
     IDE_GOTO (up_to_date);
 
+  /* Stop processing until further instruction if no movement was made */
+  if (gtk_text_iter_equal (&iter, &invalid_begin))
+    return FALSE;
+
   gtk_text_buffer_move_mark (buffer, self->invalid_begin, &iter);
 
   return TRUE;