commit | 742b5f4c68fdf05936805e2d119b7ce863b0ed9c | [log] [tgz] |
---|---|---|
author | omar <omarcornut@gmail.com> | Tue Apr 16 13:07:43 2019 +0200 |
committer | omar <omarcornut@gmail.com> | Tue Apr 16 13:07:43 2019 +0200 |
tree | 2a1439321d57870409ad4d7d8b9f7e8ff11e90a4 | |
parent | 311469e9d638dfa6afe3489536a049e462dc2146 [diff] |
Merged a bunch of small changes from Docking branch to reduce the difference between branches. Noticeable: horizontal alignment of CloseButton. Menu fill take account of border. Various stylistic tweaks to accomodate other changes in Docking.