[Geany-devel] Unhide preferences

Colomban Wendling lists.ban at xxxxx
Fri Oct 22 00:04:07 UTC 2010


Le 22/10/2010 01:44, Lex Trotman a écrit :
> On 22 October 2010 03:10, Nick Treleaven <nick.treleaven at btinternet.com> wrote:
>> On Thu, 21 Oct 2010 18:58:43 +0300
>> Dimitar Zhekov <dimitar.zhekov at gmail.com> wrote:
>>
>>>> I wasn't thinking about visually separating the prefs. Perhaps this
>>>> could be done by having 2 different treeview parent items, rather than
>>>> having to switch tabs (as Lex suggests). That way the user can see all
>>>> hidden prefs on screen at once.
>>>
>>> I think a "You need to restart Geany for this setting to take effect"
>>> in the editing/infomration area below the list will suffice. Using
>>
>> Yes, let's keep it simple.
> 
> Sure, requiring a restart for all of them is safe.
> 
>>
>>> the x11 SM reverse option parsing, even a "Restart Now" button can be
>>> written. :) But all that's secondary.
>>>
>>> There isn't much entusiasm about $subject, but at least nobody is
>>> against the idea. So I'll give it a try this weekend.
I personally like the idea :) Can I suggest a Filter entry to filter the
displayed entries by name for easier search? :D

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


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.

Regards,
Colomban



More information about the Devel mailing list