Add tags to preferences to improve the search space?

Hi, there!

What about adding tags so that there could be a place to add additional terms for looking up preferences w/o polluting the description yet preference name?

Or maybe just replace "category" with "tags"?

<preference: 'A short title for the list'
   tags: 'windows morphic graphics'
   description: 'A longer description to explain everything...'
   type: #Boolean>

So we could even put preferences into multiple categories.

Best,
Marcel

You can already pass an array of categories:

<preference: 'A short title for the list'
  category: #('windows' 'morphic' 'graphics')
  description: 'A longer description to explain everything...'
  type: #Boolean>


Btw, I just noticed the "show category..." item in a preference's "more" menu is broken.

- Bert -