[Geany-devel] various prefs editor

[Dimitar Zhekov]

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 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...

-- 
E-gards: Jimmy
-------------- next part --------------
A non-text attachment was scrubbed...
Name: various-prefs-5816.diff
Type: text/x-diff
Size: 38015 bytes
Desc: not available
URL: <http://lists.geany.org/pipermail/devel/attachments/20110522/6b006fe5/attachment.diff>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: various-prefs.png
Type: image/png
Size: 38630 bytes
Desc: not available
URL: <http://lists.geany.org/pipermail/devel/attachments/20110522/6b006fe5/attachment.png>