Pengaturan yang tepat adalah kombinasi dari jawaban yang sudah diposting. Untuk menyimpulkan:
1. Hapus ikatan tombol Ctrl + Alt + Kanan / Kiri ke lingkungan GNOME
Dalam menjalankan terminal:
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-left "[]"
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-right "[]"
2. Tetapkan binding ke tindakan Maju / Mundur di Idea IntelliJ
Jika Anda menggunakan pengaturan Keymap berdasarkan pada peta kunci GNOME, default untuk tindakan Maju / Mundur bukanlah Ctrl + Alt + Kanan / Kiri. Ini harus diatur.
Di menu Idea IntelliJ
File | Settings | Keymap
pencarian untuk
Main menu - Navigate - Forward
klik edit pintasan dan setel ke Ctrl + Alt + Kanan
lalu cari
Main menu - Navigate - Back
klik edit pintasan dan setel ke Ctrl + Alt + Kiri
Bekerja pada versi: Ubuntu 18.04.3 LTS Idea IntelliJ 2019.2.3