Fixes #3864. Border isn't cleared after margin thickness change.#3868

Merged

tig merged 1 commit intogui-cs:v2_developfrom BDisp:v2_3864_border-cleared-margin-fix

Nov 29, 2024

+85

Commits on Nov 27, 2024

Fixes gui-cs#3864 . Border isn't cleared after margin thickness change.
BDisp
committed