@codebrainz pushed 2 commits. b279591 Port "show_symbol_list_expanders" pref to GSettings f0c6f43 Port "notebook_double_click_hides_widgets" pref to GSettings
-- You are receiving this because you are subscribed to this thread. View it on GitHub: https://github.com/geany/geany/pull/1257/files/af6c91cc2499b6eca1699dde79d3a9ac6699454f..f0c6f43a5bb139e4bbe72932e57f2dfc810f795a
