Skip to content
Commit b93b0e09 authored by Mariusz Glebocki's avatar Mariusz Glebocki
Browse files

Use default system font for terminal header titles

This is not only style change, but also a bugfix.
Header and title font was unspecified, so terminal monospace font was
used in most cases. However, when new split with different orientation
was created, the font of splitted terminal changed to the system font.

Steps to reproduce:
* Split vertically - both titles use monospace font
* Split horizontally - splitted header's font changes to system default
parent fb8890c1
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