[gnome-builder] libide: update diagnostics when highlight-diagnostics changes

[Christian Hergert <chergert src gnome org>]

commit 7652cc694bfb9e3f2d51ee89234997005651cb04
Author: Christian Hergert <christian hergert me>
Date:   Wed Feb 25 20:53:50 2015 -0800

    libide: update diagnostics when highlight-diagnostics changes

 libide/ide-buffer.c |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/libide/ide-buffer.c b/libide/ide-buffer.c
index b6b04c7..6c01294 100644
--- a/libide/ide-buffer.c
+++ b/libide/ide-buffer.c
@@ -733,6 +733,10 @@ ide_buffer_set_highlight_diagnostics (IdeBuffer *self,
   if (highlight_diagnostics != self->highlight_diagnostics)
     {
       self->highlight_diagnostics = highlight_diagnostics;
+      if (!highlight_diagnostics)
+        ide_buffer_clear_diagnostics (self);
+      else
+        ide_buffer_queue_diagnose (self);
       g_object_notify_by_pspec (G_OBJECT (self), gParamSpecs [PROP_HIGHLIGHT_DIAGNOSTICS]);
     }
 }