我遇到了一个问题,我的 Ubuntu 18.04 操作系统键盘快捷键与我的 PHP Storm 键盘快捷键相互干扰。我当时正在阅读无法在 Ubuntu 上使用 IntelliJ IDEA 键盘快捷键并正在寻找具有 CTRL + ALT + 箭头键的“切换到工作区”操作,但我根本没有看到这些键被列为快捷方式。我正在使用 Ubuntu 的新副本(在我的旧版本需要重建之后),我知道我以前能够找到它。
答案1
使用 dconf-editor
该对话框中确实没有显示更改快捷键以向上、向下、向左或向右切换工作区的选项(后者在默认的 gnome shell 中不适用)。您仍然可以通过安装来更改这些键盘分配dconf-editor
。导航到org.gnome.desktop.wm.keybindings
以查找所有这些与窗口管理器相关的键绑定。您将能够<Control><Alt><Arrow key>
在那里删除所有组合,保留备用键绑定,即<Super>Page_Down
和<Super>Page_Up
。
使用终端
也可以使用终端更改设置。例如,要列出所有可用的键,请发出命令
gsettings list-keys org.gnome.desktop.wm.keybindings
要了解密钥包含的内容:
gsettings get org.gnome.desktop.wm.keybindings switch-to-workspace-down
(提示:Tab 键补全功能可以完成架构和键的名称)
要删除<Control><Alt><Down>
,请重新定义键:
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-down ['<Super>Page_Down']
重置为默认值:
gsettings reset org.gnome.desktop.wm.keybindings switch-to-workspace-down