[Bug 1288655] Re: terminal gets smaller when maximized and then restored
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 received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1288655 Title: terminal gets smaller when maximized and then restored To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/1288655/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1288655] Re: terminal gets smaller when maximized and then restored
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 & gnome-terminal packages look okay under Unity 7. Not sure by the way if it's something that's been fixed in vte/g-t since (I can't recall anything like that) or it's caused by an Ubuntu patch (that would be my primary guess). -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1288655 Title: terminal gets smaller when maximized and then restored To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/1288655/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1288655] Re: terminal gets smaller when maximized and then restored
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 foreground, the rightmost pixel of the scroll bar is either below or above the other window. The bottommost pixel of the scroll bar extending below the window is evident in both cases. ** Attachment added: "scrollbar_beyond_window_boundary.png" https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1288655/+attachment/4980480/+files/scrollbar_beyond_window_boundary.png -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1288655 Title: terminal gets smaller when maximized and then restored To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/1288655/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1288655] Re: terminal gets smaller when maximized and then restored
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 Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1288655 Title: terminal gets smaller when maximized and then restored To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/1288655/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1288655] Re: terminal gets smaller when maximized and then restored
@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 Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1288655 Title: terminal gets smaller when maximized and then restored To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/1288655/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1288655] Re: terminal gets smaller when maximized and then restored
@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 are buggy, some are not; and when double clicking on the title, some maximize with an animation and some maximize without. No clue why this difference in animation is there, and no clue if it's relevant. -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1288655 Title: terminal gets smaller when maximized and then restored To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/1288655/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1288655] Re: terminal gets smaller when maximized and then restored
** 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 Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1288655 Title: terminal gets smaller when maximized and then restored To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/1288655/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1288655] Re: terminal gets smaller when maximized and then restored
** 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 member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1288655 Title: terminal gets smaller when maximized and then restored To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/1288655/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1288655] Re: terminal gets smaller when maximized and then restored
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 Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1288655 Title: terminal gets smaller when maximized and then restored To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1288655/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1288655] Re: 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 Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1288655 Title: terminal gets smaller when maximized and then restored To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1288655/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1288655] Re: terminal gets smaller when maximized and then restored
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 Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1288655 Title: terminal gets smaller when maximized and then restored To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1288655/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1288655] Re: terminal gets smaller when maximized and then restored
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 Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1288655 Title: terminal gets smaller when maximized and then restored To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1288655/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs