[Github-comments] [geany/geany] Start porting to GSettings (#1257)

elextr notifications at xxxxx
Sat Oct 8 11:49:25 UTC 2016


elextr commented on this pull request.



> @@ -91,6 +91,12 @@ static void on_symbols_tree_expanders_visible_changed(GSettings *settings, gchar
 }
 
 
+static void on_notebook_double_click_hides_widgets_changed(GSettings *settings, gchar *key, gpointer user_data)
+{
+	interface_prefs.notebook_double_click_hides_widgets = g_settings_get_boolean(settings, key);

makes sense

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/1257
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20161008/b66fb029/attachment.html>


More information about the Github-comments mailing list