"loaded plugins..." dialog -> insert filtering

Create issue
Issue #5 resolved
M. Gronle created an issue

Since this dialog is pretty big now, a better filtering (e.g. wildcard-based filtering of the names) or sorting might be good.

Comments (3)

  1. Log in to comment