| commit | c362a96a3fa5587107a15b31141517942b00198d | [log] [tgz] |
|---|---|---|
| author | omar <omarcornut@gmail.com> | Wed Jan 23 17:31:32 2019 +0100 |
| committer | omar <omarcornut@gmail.com> | Wed Jan 23 19:21:25 2019 +0100 |
| tree | cdaebe878174a72a6d53ad3664c6d5abaa8cf58d | |
| parent | ab9cd44c89c5c4e60ade0c6045128bd87291e449 [diff] |
When resizing from an edge, the border is more visible and better follow the rounded corners. Border rendering moved to RenderOuterBorders so it can be called in a different order for docking. (#1495, #822)