Window Manager and Keyboard settings can be configured to use overlapping keys

Submitted by xsdg

Assigned to Jannis Pohlmann

Link to original bug (#4695)

Description

I upgraded from 4.4.2 to Hopper and discovered that two of my three volume-control keyboard shortcuts had stopped working: Ctrl+F9 still worked, but Ctrl+F10 and Ctrl+F12 were broken. It turns out this is because Ctrl+F(N) is the default config for switching to Workspace N.

First off, it's very confusing that certain shortcuts from the Keyboard settings take precedence, while others from the Window Manager settings take precedence; I would expect one or the other to consistently be preferred.

Secondly, the two settings dialogs (or an xfce-settings backend) should detect this situation and give the user a warning/error, as happens when you try to duplicate a setting in the Window Manager settings dialog alone.

To fix this, I had to both clear Ctrl+F12 as a shortcut in the WM dialog, as well as set it again in the Keyboard dialog.

Version: 4.6.0