Tobias Schneider

I'm running 0.3.5 right now, and hiding the title bar works for most of the apps for me. However, it does not work for the Terminal, which would be very...