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

2023-10-02 Thread 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

2023-09-05 Thread 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