diff options
| author | Martin Fischer <martin@push-f.com> | 2021-12-28 16:12:54 +0100 |
|---|---|---|
| committer | Martin Fischer <martin@push-f.com> | 2022-01-05 11:03:44 +0100 |
| commit | ab90e2ac49778153409397d4a2c34e9051963a0f (patch) | |
| tree | 811c93fa0466b0e3796a5032a5bdfea8a665b285 /docs/dev/contribution_guide.rst | |
| parent | 4ac6b5d32dc60ce410eb7166722c86e82f8c937c (diff) | |
[enh] show categories not in any tab category in "Other" preferences tab
Previously we didn't have a good place to put search engines that don't
fit into any of the tab categories. This commit automatically puts
search engines that don't belong to any tab category in an "other"
category, that is only displayed in the user preferences (and not above
search results).
Diffstat (limited to 'docs/dev/contribution_guide.rst')
0 files changed, 0 insertions, 0 deletions