4

I'm running Ubuntu Gnome 16.04 on a laptop with low resolution (1366x768). I've been able to adjust most things in Gnome to look much better on this display, but the gnome-terminal tabs seem to elude me. I'd like to be able to make the pixel height a bit smaller to it does not look as ugly (I bet it looks awesome in a high-dpi display)...

I guess something could be added to ~/.config/gtk-3.0/gtk.css like I had to do for the title bar - but I don't know squat about css, and my google-fu does not seem to be yielding any good results.

  • Ah Ha - My google-fu is strong, found the answer here: link but be sure to logout/login after making the changes. ALT+F2 and typing restart did not do the trick for me. – Michael Ford Sep 11 '16 at 2:52
4

Found an edit to ~/.config/gtk-3.0/gtk.css here by @Lari Hotari over at stackoverflow.

It doesn't remove the buttons, but makes them nicer for a dark theme and use less vertical space.

TerminalWindow .notebook .button,
TerminalWindow .notebook .button:active {
   padding: 2 2 2 10;
   background-image: none;
   border: 0;
}

I'm using this customization, works well with a dark theme (also found in the above link):

@define-color bg-grey #222;
@define-color active-grey #333;
@define-color border-grey #555;

TerminalWindow .notebook {
   border: 0;
   padding: 0;
   color: #eee;
   background-color: shade(@active-grey, 1);
}

TerminalWindow .notebook tab:active {
   border: 1px solid @border-grey;
   background-color: shade(@active-grey, 1);
}

TerminalWindow .notebook tab {
   background-color: shade(@bg-grey, 1);
}

TerminalWindow .notebook .button,
TerminalWindow .notebook .button:active {
   padding: 2 2 2 10;
   background-image: none;
   border: 0;
}

Then logout of your session and log back in, the theme should take effect. ALT+F2 and typing "restart" did not work for me, but your mileage may vary.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.