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