extraterm
extraterm copied to clipboard
Margin: None still leaves empty UI space between tabs
There's looks like 4 pixels between the bottom of the tab and the top of the terminal area:
I see what you mean. I don't know how easy it is to fix this.