Feature Wiki

Information about planned and released features

Tabs

Full text search within Glossaries

1 Description

Up to now, the search function in Glossaries only covers the terms but not the definition contents.
This should be provided additionally.

2 Additional Information

3 Discussion

Zenzen, Enrico [ezenzen], 05 AUG 2022: This request no longer fulfills the requirements of the Feature Wiki. In consultation with the maintainer I change the status of the feature request to "Redundant / outdated". If the request is still relevant, please update template and mockups.

4 Implementation

Last edited: 5. Aug 2022, 10:04, Zenzen, Enrico [ezenzen]