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