Skip to content
Commit 995ddc61 authored by Morris Jobke's avatar Morris Jobke
Browse files

Add buttom border for header 



* allows to distinct the header from the rest of the UI for bright colors
* ref #5654

Signed-off-by: default avatarMorris Jobke <hey@morrisjobke.de>
parent d1f3e1de
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment