정상적이라면
Settings - Keyboard - Shortcuts - Navigation
여기서
Move to workspace above 및 below 의 단축키를 변경할 수 있어야 한다.
문제는 이미 각각 단축키가 하나가 아닌 두 개가 배정되어 있다.
Super(Window) + Page up 뿐 아니라 Ctrl + Alt + up 도 먹힌다는 것이다.
따라서, 변경해도 하나만 변경되고 Ctrl + Alt + up/down 은 여전히 먹힌다 ;;
터미널에서 다음과 같이 배정된 키를 확인할 수 있다.
gsettings get org.gnome.desktop.wm.keybindings switch-to-workspace-down
move to workspace 단축키를 제거하고 싶다면 다음과 같이 한다.
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-down "['']"
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-up "['']"
이와 같은 방법으로 변경도 가능하다.
하지만 일일이 키를 텍스트로 치기 귀찮다면 위와 같이 삭제 후,
Settings - Keyboard - Shortcuts - Navigation
Move to workspace above / below 에서 바꾸길 바란다.
