Is there a way to resize the tab bar?

lanoxx / tilda

A Gtk based drop down terminal for Linux and Unix

GNU General Public License v2.0

1.28k stars 161 forks source link

Is there a way to resize the tab bar? #264

Closed space-potato closed 7 years ago

space-potato commented 7 years ago

I think it's too big, so I would like to resize it.. I haven't found any options so far. Is it possible? Maybe make it something like the tabbed app from suckless tools (http://tools.suckless.org/tabbed/)

lanoxx commented 7 years ago

You can use CSS for this. Please take a look at the wiki.