Bug#1050734: xfce4-terminal: Preference to disable F10 key not working

[Andreas Weber]

Thanks Martin for the link with the workaround, works for me, too.

Regards
ändu

Bug#1050734: xfce4-terminal: Preference to disable F10 key not working

[Martin Šturc]

Hello all,

I came accross this issue on my Debian unstable amd64 machine a few days 
ago.


The upstream's bug 
https://gitlab.xfce.org/apps/xfce4-terminal/-/issues/259#note_78740

suggests a temporary workaround.
This works for me.

Best regards

Martin Šturc