[gnome-builder/wip/highlight] highlight: stop if no forward progress was made
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/wip/highlight] highlight: stop if no forward progress was made
- Date: Fri, 27 Mar 2015 00:04:19 +0000 (UTC)
commit 547425d4100281079cf60f3b9a75d18f04282e0a
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;
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]