gnome-terminal terminal gets narrower when mouse is moved across the right border

[Jens Breitbart]

This is kind of a strange bug, so I have attached a short screencast. During the the screencast I did not press any mouse buttons, but just moved my mouse. It seems like that when the scroll bar is shown the window size gets smaller.

I am using loki beta and the gnome-terminal version currently available in the repositories: GNOME Terminal 3.18.3

[Zisu Andrei (matzipan)]

Hello,

Not sure about gnome-terminal, but this issue was fixed in pantheon-terminal. See bug #1585342.

[Zisu Andrei (matzipan)]

I am marking it as invalid since it does not concern Elementary, but gnome-terminal.

[Jens Breitbart (jbreitbart)]

GNOME Terminal asks for users to report bugs at their distribution bug trackers and if applicable forward the bug to their bugtracker[0]. Since the ElementaryOS team seems to have fixed the bug in their terminal application, could someone from the team please forward the bug to the GNOME bugtracker?

In general, I strongly disagree with the idea of "it's not one of our applications, it is not one of our bugs".

[0] https://wiki.gnome.org/Apps/Terminal/ReportingBugs

[Zisu Andrei (matzipan)]

Hello Jens,

I see what you mean. You are right.

From what I could gather, the bug is worthy of forwarding to GNOME. If you'd be so kind to report it in the GNOME bugtracker with a link back to how pantheon-terminal fixed it, we'd be greatly appreciative.

This would also allow you to stay in contact with the developers for further information regarding the fixing on this bug.

[Egmont Koblinger (egmont-gmail)]

Clarified the bug title. ("minimize" is the action triggered by the second icon of the title bar, the one with a "-" sign on it, between "close" ("x") and "maximize" (big square). This is not what happens here.)

[Jens Breitbart (jbreitbart)]

https://bugzilla.gnome.org/show_bug.cgi?id=768037