[gnome-builder/gnome-builder-3-20] prefs: prevent deselection of radio in option group

[Christian Hergert <chergert src gnome org>]

commit e5c03fe68815cc487dcb255bb8d4031c8016682d
Author: Christian Hergert <chergert redhat com>
Date:   Sat May 7 12:37:23 2016 +0300

    prefs: prevent deselection of radio in option group
    
    If we have multiple options for a radio, we might end up deselecting our
    current selection (as the changed event doesn't propagate since we are
    already trying to update).
    
    This is a quick workaround that just does a final pass to read the new
    value and reapply the check if necessary.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=766086

 libide/preferences/ide-preferences-switch.c |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/libide/preferences/ide-preferences-switch.c b/libide/preferences/ide-preferences-switch.c
index cabac74..c5bcd8a 100644
--- a/libide/preferences/ide-preferences-switch.c
+++ b/libide/preferences/ide-preferences-switch.c
@@ -207,6 +207,9 @@ ide_preferences_switch_toggle (IdePreferencesSwitch *self,
     gtk_switch_set_state (self->widget, state);
 
   self->updating = FALSE;
+
+  /* For good measure, so that we cleanup in the boolean deselection case */
+  ide_preferences_switch_changed (self, self->key, self->settings);
 }
 
 static gboolean