On Sun, 22 May 2011 12:35:25 +0200 Enrico Tröger enrico.troeger@uvena.de wrote:
[Re: [Geany-devel] allow always save all fix]
provided that you call ui_save_buttons_toggle() after change (we'll need this when/if the various preferences editor is included in Geany).
Not completely sure what you mean here.
This thing - an extra tab in Edit -> Preferences which contains the hidden prefs, now named "various". It was discussed in january; Nick wanted to do some changes in the code (don't know what exactly), and to make sure that all prefs are safe to change. I checked them one by one, and with allow_always_save changeable, they seem safe.
In this new patch version, only indent_hard_tab_width, number_[a-z]\ +_menu_items, show_symbol_list_expanders and use_gtk_word_boundaries require restart. I can make tab width and word boundaries take effect immediately, but don't think it's worth.
Needless to say, I'd be happy to see the various prefs editor included in Geany...