I'm unable to reproduce on 17.10 with 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/1605397
Title:
gnome-terminal doesn't return to its original size when unsn
I have the same issue with `gnome-terminal`, but also other
applications, like `gnome-system-monitor`, on Ubuntu 16.10, so this
might be a more widespread issue.
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.