Too Big Header #125
Description
The header of some applications is so big that it looks inharmonious, and I don't found how to fix it.
By the way, I want to use gnome-terminal as the default terminal, but it seems that gnome-terminal is not supported.
