Repainting issue with texts #176
Description
To reproduce:
- Use "lazy text rendering mode"
- Load the layout from the attached .zip
- Zoom into the layout and pan with the middle mouse button
Effect: the texts are not repainted properly and most of them vanish while panning. Some at the border flash briefly and vanish again.
Cause: there is a logic trying to detect whether something has been drawn on a pixel already and not draw anything there again. For texts this fails because they share this pixel bitmap with the other shapes. In panning mode, texts are always redrawn fully to avoid strange painting artefacts when they appear or disappear, so the half-drawn vertex bitmap of the boxes will prevent the texts from being redrawn.
