Ubuntu's gnome-terminal has patch, originating from Red Hat, with the
title "Extra padding around transparent terminals in Wayland". Just by
its name it's truly suspicious, but I don't have time now to verify if
that's causing this terrible look. Anyway, as said, it's probably
irrelevant.
--
You
Geez... indeed. I can confirm that look with vte and gnome-terminal
Ubuntu packages. It looks awful.
I'm using vte and gnome-terminal from git (the rest is stock 17.10).
They don't have this visual problem, but the shrinkage is there. So
probably it's irrelevant.
Also, Ubuntu's vte &
Literally one pixel beyond the edges of the window. I've attached a
screenshot that I hope illustrates this.
You see two windows which were auto-placed by the window manager. If
they didn't have scroll bars, they wouldn't overlap, but they do, by one
pixel. Depending on which window is in the
Paul, what do you mean by "scroll bars extending one pixel past the
right and bottom edges"??
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1288655
Title:
terminal gets smaller when maximized and
@egmont-gmail Do the other affected terminals also have scroll bars
extending one pixel past the right and bottom edges, the way gnome-
terminal has?
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
@Marius, Ubuntu 17.10 uses gnome-shell by dfault, but unity is still
available.
Actually I'm using unity7 on 17.10, and this bug isn't present there.
However, I can confirm the bug on gnome-shell + wayland.
Interestingly, trying a couple of terminal emulators (xfce4-terminal,
mate-terminal) some
** Changed in: gnome-terminal
Status: Unknown => Confirmed
** Changed in: gnome-terminal
Importance: Unknown => Medium
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1288655
Title:
** Bug watch added: GNOME Bug Tracker #751064
https://bugzilla.gnome.org/show_bug.cgi?id=751064
** Also affects: gnome-terminal via
https://bugzilla.gnome.org/show_bug.cgi?id=751064
Importance: Unknown
Status: Unknown
--
You received this bug notification because you are a
Bug 1233205 was a bug in Unity and/or Compiz. Ubuntu 17.10 uses gnome-
shell.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1288655
Title:
terminal gets smaller when maximized and then restored
The bug is still present in 17.10.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1288655
Title:
terminal gets smaller when maximized and then restored
To manage notifications about this bug go to:
Status changed to 'Confirmed' because the bug affects multiple users.
** Changed in: gnome-terminal (Ubuntu)
Status: New = Confirmed
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1288655
this is a duplicate of bug 1233205. It seems it is fixed in 14.04 but
not 13.10 ...
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1288655
Title:
terminal gets smaller when maximized and then
12 matches
Mail list logo