Paint a 1px border at the top between the menu and the splitters
Description
Description
Details
Details
- Committed
tcanabrava Jun 3 2019, 2:59 PM - Parents
- R319:38283f168516: Add a TerminalHeader when using splits
- Branches
- Unknown
- Tags
- References
- refs/keep-around/ae1ca96455d6a2087097931f40af122090d5e1be