[gnome-builder] buffer: dispose highlight engine on dispose

[Christian Hergert <chergert src gnome org>]

commit b543815f8b76319ad374c57a4bb71266a64e80be
Author: Christian Hergert <christian hergert me>
Date:   Tue Apr 28 18:02:46 2015 -0700

    buffer: dispose highlight engine on dispose
    
    We could be in an update timeout, so ensure the highlight engine can
    release it's GSource when we are disposing.

 libide/ide-buffer.c |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/libide/ide-buffer.c b/libide/ide-buffer.c
index e165856..bb20c74 100644
--- a/libide/ide-buffer.c
+++ b/libide/ide-buffer.c
@@ -782,6 +782,9 @@ ide_buffer_dispose (GObject *object)
 
   IDE_ENTRY;
 
+  if (priv->highlight_engine != NULL)
+    g_object_run_dispose (G_OBJECT (priv->highlight_engine));
+
   if (priv->diagnose_timeout)
     {
       g_source_remove (priv->diagnose_timeout);