[Geany-devel] Unhide preferences

Nick Treleaven nick.treleaven at xxxxx
Fri Oct 22 12:34:28 UTC 2010


On Fri, 22 Oct 2010 02:04:07 +0200
Colomban Wendling <lists.ban at herbesfolles.org> wrote:

> Can I suggest a Filter entry to filter the
> displayed entries by name for easier search? :D

Maybe this could be added later.

> > Of course the "problem" that is likely to generate the most heat is
> > what to call these prefs :-D, they can't continue to be called
> > "hidden" as they are now visible in a GUI.
> > 
> > Since these are meant to be rarely used preferences I'd suggest the
> > name needs to reflect that, so also justifying them being separate
> > from other preferences on the same topic, otherwise there will be
> > continual suggestions that they be moved to be with the other
> > preferences on that topic.
> > 
> > So to start the ball rolling, I'll suggest "extra" or additional" as
> > the tab labels and "Extra/Additional rarely used preferences" as a
> > bold title on the tab and the documentation. Let the disagreements
> > start :-)
> I'd suggest "Advanced", simply because most applications use this term
> (Firefox, Gajim, for the one I know they have similar stuff).

Personally I prefer Lex's suggestions, but don't really mind.

> BTW, I think this preference editor might integrate not only the hidden
> prefs but all of them -- like I think FF does. I'd think it's easier to
> implement, and I think it's probably more intuitive for the one who want
> to use this, and I don't see any reason why it would be worst. Anyway,
> it's for those who want to do tricky things.

Actually it would be much harder to implement because all the code to
update Geany after a pref is changed would need to be changed.

Currently almost all hidden prefs use Stash, which makes this feature
possible. Most Prefs dialog settings don't use it.

Nick



More information about the Devel mailing list