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);
@elextr ones like this (which are just for backwards compat BTW) should be
easily made generic/reused in a manner similar to `on_tab_pos_changed` above.
--
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#pullrequestreview-3407356
