Bug#1017015: [Debian-on-mobile-maintainers] Bug#1017015: gnome-console: bugs after switch to GTK4

2022-09-20 Thread Jeremy Bicha
On Tue, Sep 20, 2022 at 12:26 PM Arnaud Ferraris  wrote:
> That sounds good, thanks for tracking those issues! IIUC the workaround
> for the remaining issue is using middle-click-paste, is that right?

Yeah, that's probably the easiest workaround. There are a few other
ideas on the upstream bug.

Thank you,
Jeremy Bicha



Bug#1017015: [Debian-on-mobile-maintainers] Bug#1017015: gnome-console: bugs after switch to GTK4

2022-09-20 Thread Arnaud Ferraris

Hi Jeremy,

Le 20/09/2022 à 00:45, Jeremy Bicha a écrit :

Control: retitle -1 gnome-console: copying won't work if end of line is selected

I intend to lower the severity of this bug to Important once gtk4
migrates to Testing

The Ctrl+Shift bug is fixed in gtk4; the open link bug was fixed in
vte2.91. That only leaves one significant known issue which can be
worked around.


That sounds good, thanks for tracking those issues! IIUC the workaround 
for the remaining issue is using middle-click-paste, is that right?


Cheers,
Arnaud



Thank you,
Jeremy Bicha

___
Debian-on-mobile-maintainers mailing list
debian-on-mobile-maintain...@alioth-lists.debian.net
https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-on-mobile-maintainers