Paint a 1px border at the top between the menu and the splitters

Authored by tcanabrava on Jun 3 2019, 2:59 PM.