tree 390ad1534dd7e9b422a1107f7904395310dee918
parent 6c1a73774dabd2be64f85543b1286e44632d1905
author omar <omarcornut@gmail.com> 1580238394 +0100
committer omar <omarcornut@gmail.com> 1580238394 +0100

Merge misc/shallow changes from Docking to reduce drift.

Most are comments. Fix menu bar clipping: 07ff47bf1b7fb3dced2dc91ca39efedaff34e337