Ubuntu
gnome-terminal package

  1. Bug #1714810
  2. Comment #9

Comment 9 for bug 1714810

Revision history for this message
Egmont Koblinger (egmont-gmail) wrote :

Regarding the scrollbar and its surrounding space that looks like padding: see my opinion (which is not in favor of Ubuntu's custom change at all) at https://bugzilla.gnome.org/show_bug.cgi?id=754796 comments 17-20.