Community
Participate
Working Groups
To reproduce: 1. Add a border control decorator to a widget 2. Add more widgets to the UI so that the widget with the decorator is moved or resized. Result: "cheese" (see screenshot). Expected: border redrawn correctly. Investigating fix.
Created attachment 174446 [details] Screenshot showing issue
Created attachment 174447 [details] Patch to reproduce issue
When the decorated control is moved one has to repaint both the old border position (was not done ? will remove border) and the new border position (was done). Fixed in HEAD.