settings-manager: Simplify redrawing of search results (Fixes #141) (!9) · Merge requests · Xfce / xfce4-settings · GitLab

The source project of this merge request has been removed.

Theo Linkspfeifer requested to merge (removed):issue-141 into master Jun 10, 2020