title: Disable Linux Mint Alt-F1 shortcut
body: <p>I am using Linux Mint and experimenting with IntelliJ.</p>
  
  <p>IntelliJ has a <kbd>Alt</kbd>+<kbd>F1</kbd> shortcut (Select in...). Unfortunately it is also used by Mint to display an overview of workspaces.</p>
  
  <p>I would like to keep the shortcut's use for IntelliJ and disable it in Mint.</p>
  
  <p>Where can I disable this <kbd>Alt</kbd>+<kbd>F1</kbd> in Mint? I can't see it anywhere in Keyboard Shortcuts.</p>