Thank you for reporting this bug to Ubuntu.
Ubuntu 17.10 (artful) reached end-of-life on July 19, 2018.
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.
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/1731888
Exact issue happens to me too. I haven't noticed it being intermittent.
I think it always happens. When you resize the window it's ok. As soon
as you 1-click maximize it, it happens.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
It happens to me too.
I noticed that it happens when I maximize the gnome-terminal window, but
not always: right now, I have another gnome-terminal, maximized, with 3
tabs, and the right-click (contextual) menu works well.
I also noticed that, when maximized and "demaximized" again, the right-