[Github-comments] [geany/geany] Start porting to GSettings (#1257)
Matthew Brush
notifications at xxxxx
Sat Oct 8 13:13:53 UTC 2016
codebrainz 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);
For example 5a3ec1a2097f116c96f2cf8c34ab90a031e5b5fc
--
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/608b2ec7/attachment.html>
More information about the Github-comments
mailing list