Sebastian Golec

Linux/Gnome (Ubuntu 17.10) has same problem.

Yeah, there is one font with powerline symbols, but it still looks awful.

[example of extraterm with Powerline font](https://imgur.com/JORiogJ) I tried almost every font included in extraterm and only this one is supporting powerline symbols.