Details
-
Task
-
Resolution: Won't Do
-
Not Evaluated
-
None
-
None
-
None
Description
The list of downloadable highlighter definitions is quite long. It would be quite handy to have a filter line edit (FancyLineEdit as filter) in the dialog.