Thank you for reporting this bug to Ubuntu.
Ubuntu 12.04 (precise) reached end-of-life on April 28, 2017.
See this document for currently supported Ubuntu releases:
https://wiki.ubuntu.com/Releases
We appreciate that this bug may be old and you might not be interested
in discussing it any more.
** Package changed: light-themes (Ubuntu) = ubuntu-themes (Ubuntu)
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/893174
Title:
Increased terminal padding under precise: 160 columns of 8-pixel wide
This has happened to me also in precise with Gnome Terminal. In
oneiric, I used to be able to get two 80-wide Terminals next to each
other with Ubuntu Mono 14 in a 1600x1200 screen. In precise, these
overlap now and I have to bump them down to UM 13, which isn't as
readable and also feels like
After chatting with Alex on IRC, this is definitely the same bug, so
screen shots probably aren't necessary. Unfortunately, neither of us
understand how to test out the workaround in comment #9 :/ Seems like
upstream doesn't think this is a regression.
--
You received this bug notification
** Changed in: vte
Status: Expired = Invalid
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/893174
Title:
Increased terminal padding under precise: 160 columns of 8-pixel wide
no longer fit
** Changed in: vte
Status: New = Expired
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/893174
Title:
Increased terminal padding under precise: 160 columns of 8-pixel wide
no longer fit at
Alex: I've forwarded this upstream. If it's important to you, would you
be able to state your case there?
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/893174
Title:
Increased terminal padding
We can perhaps look into working around this with:
VteTerminal { -VteTerminal-inner-border: 0; }
in light-themes.
** Also affects: light-themes (Ubuntu)
Importance: Undecided
Status: New
** Changed in: light-themes (Ubuntu)
Status: New = Incomplete
** Changed in:
Should work; proposed solution (for light-themes) from Cimi:
Cimi sladen, you can do that, then … just add a file named
'vte.css' in apps subdir of both themes … Add the right import in
gtk.css and place your code above there
--
You received this bug notification because you are a member of
** Changed in: vte
Status: Unknown = New
** Changed in: vte
Importance: Unknown = Low
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/893174
Title:
Increased terminal padding under
Could you please try to see if you get the same with terminator
(terminal emulator) if so that's a vte issue.
** Changed in: gnome-terminal (Ubuntu)
Importance: Undecided = Low
** Changed in: gnome-terminal (Ubuntu)
Status: New = Incomplete
--
You received this bug notification
terminator screenshot attached.
test procedure:
1) sudo apt-get install terminator
2) launch terminator, set preferences to use 'ubuntu mono 11' as font
3) close terminator
4) relaunch terminator
5) launch another terminator
6) resize both windows to 80 columns
7) attempt to fit both on screen
git clone git://git.gnome.org/vte
git show 31b4047a | grep -B6 -A3 '^\+.*inner-border'
+#if GTK_CHECK_VERSION (2, 99, 0)
+klass-priv = G_TYPE_CLASS_GET_PRIVATE (klass, VTE_TYPE_TERMINAL,
VteTerminalClassPrivate);
+
+klass-priv-style_provider = GTK_STYLE_PROVIDER
** Package changed: ubuntu-font-family-sources (Ubuntu) = vte
** Bug watch added: GNOME Bug Tracker #664683
https://bugzilla.gnome.org/show_bug.cgi?id=664683
** Changed in: vte
Importance: Undecided = Unknown
** Changed in: vte
Status: New = Unknown
** Changed in: vte
Remote
The excess appears to be 1 pixel of border and 1 pixel of new internal
padding each side of which terminal
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/893174
Title:
Increased terminal padding
15 matches
Mail list logo
