I believe there should be: a) an "Override desktop manager integration/shortcut keys" or b) a user warning if they would like to do disable desktop environment integration
I believe there should be: shortcut keys"
a) an "Override desktop manager integration/
or
b) a user warning if they would like to do disable desktop environment integration