gnome-terminal right mouse click drop-down menu is small, unreadable and unusable

[Norbert]

Steps to reproduce:
1. Install Ubuntu 17.10
2. Launch `gnome-terminal`
3. Run some command - for example `uname -a`
4. Try to copy command output by right mouse click and selecting *Copy* from it.

Expected results:
Right mouse click drop-down menu has normal size, readable and usable

Actual results:
Right mouse click drop-down menu is small, unreadable and unusable (see screenshot).

ProblemType: Bug
DistroRelease: Ubuntu 17.10
Package: gnome-terminal 3.24.2-0ubuntu4
ProcVersionSignature: Ubuntu 4.13.0-32.35-generic 4.13.13
Uname: Linux 4.13.0-32-generic x86_64
ApportVersion: 2.20.7-0ubuntu3.7
Architecture: amd64
CurrentDesktop: ubuntu:GNOME
Date: Sat Feb 17 14:17:48 2018
ProcEnviron:
 TERM=xterm-256color
 PATH=(custom, no user)
 XDG_RUNTIME_DIR=<set>
 LANG=en_US.UTF-8
 SHELL=/bin/bash
SourcePackage: gnome-terminal
UpgradeStatus: No upgrade log present (probably fresh install)

[Egmont Koblinger (egmont-gmail)]

Reassigning, there's no way gnome-terminal could ask gtk to do this. Must be a gtk bug.