For reference, here's the preferences dialog from Eclipse, which is one of
the apps that uses fuzzy search for preferences
(after you start typing, any tree item that doesn't match or have matching
children is hidden, and ones that do match are bolded)
-Jon
On Sun, Jun 4, 2017 at 6:04 PM, Chris
I've been daydreaming of doing this for a while, sounds good to me.
On Sun, Jun 04, 2017 at 10:27:49AM -0400, Jon Evans wrote:
> I agree with this approach! Switching to a tree lister for preferences was
> on my list of things to propose one day. Complicated creation software like
> KiCad inevitab
2 matches
Mail list logo
