<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Dec 10, 2015 at 8:37 PM, Stéphane Rollandin <span dir="ltr"><<a href="mailto:lecteur@zogotounga.net" target="_blank">lecteur@zogotounga.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
But the preferences list is quite overwhelming and ever expanding.<br>
</blockquote>
<br></span>
Then maybe we could implement preferences themes ? "Experienced user mode", "Novice mode", "Developer mode", specific application mode... (another layer of complexity I'm afraid... but possibly making things simpler in the end)<br>
<br>
Stef<br></blockquote><div><br></div><div>I want tool specific preferences to be reached from the window menu of the tool. That way the organization could be delegated to each tool and not reside in a gigantic list with many categories.<br></div><div><br></div><div>But it's a big job to reorganize it.</div><div><br></div><div>Best,</div><div>Karl</div><div><br></div></div></div></div>