Waqar Ahmed authored Feb 04, 2022 and Christoph Cullmann committed Feb 05, 2022

This patch improves the search result drawing in following ways:
- Makes it even closer in looks to the editor
- Fixes the search results for RTL

As a benefit, some of the display related code can be removed from the
model (haven't done so yet for simplicity)