| commit | 5f4dfad5b7ca2d56b54f1e6aefa4601b7b439698 | [log] [tgz] |
|---|---|---|
| author | omar <omarcornut@gmail.com> | Tue Jan 28 20:06:34 2020 +0100 |
| committer | omar <omarcornut@gmail.com> | Tue Jan 28 20:06:34 2020 +0100 |
| tree | 390ad1534dd7e9b422a1107f7904395310dee918 | |
| parent | 6c1a73774dabd2be64f85543b1286e44632d1905 [diff] |
Merge misc/shallow changes from Docking to reduce drift. Most are comments. Fix menu bar clipping: 07ff47bf1b7fb3dced2dc91ca39efedaff34e337