[Geany-devel] various prefs editor
enrico.troeger at xxxxx
Sun May 22 14:40:43 UTC 2011
On Sun, 22 May 2011 17:01:22 +0300, Dimitar wrote:
>On Sun, 22 May 2011 12:35:25 +0200
>Enrico Tröger <enrico.troeger at 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
>> 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
Ok got it, but due to limited time, I leave this to Nick or whoever
wants to get this into Geany.
Get my GPG key from http://www.uvena.de/pub.asc
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 198 bytes
Desc: not available
More information about the Devel