xfcd4-terminal: disabling hotkeys does not work
Hello! Suddenly I had issues using F10 for pasting a line in nano, as the terminal's menu would pop up instead. I checked my options, and as always I have the 'disable menu 'shortcut' option activated in the terminal's advanced settings, as well as I have removed the F10 binding itself removed. But the menu still appears. I guess it's an issue stemming from the recently introduced xfce4-terminal 1.1.0?
Thank you!