On 2021-07-12 19:17:23 +0100, graeme vetterlein wrote: > Well I pretty much stopped using gnome-terminal (due to this bug) so I've > not been spotting changes. > > The symptoms seem to be the same, I guess the root cause may be different. > > $ gnome-terminal --version > # GNOME Terminal 3.30.2 using VTE 0.54.2 +GNUTLS
Strange. I get the following: # GNOME Terminal 3.38.3 using VTE 0.62.3 +BIDI +GNUTLS +ICU +SYSTEMD And the package is gnome-terminal 3.38.3-1. -- Vincent Lefèvre <[email protected]> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
