Bug#940857: Zoom Percentage Display Stays at 100%

[Egmont Koblinger]

Hi,

This has already been brought to upstream developers' attention,
there's been some discussion about it at:
https://gitlab.gnome.org/GNOME/gnome-terminal/issues/140

cheers,
e.