search

idris-hackers / atom-language-idris

A Idris Mode for Atom.io
MIT License
100 stars 22 forks source link

Default keybindings conflict with "Terminator" #226

Open CodingCellist opened 5 years ago

CodingCellist commented 5 years ago

The default keybindings have been mentioned to conflict with Ubuntu (#159). I believe my issue is more general, as it seems the default keybindings conflict with the "Terminator" terminal emulator keybindings (e.g. Ctrl+Alt+A hides the Terminator window, regardless of whether Atom is focused or not). So anyone using Terminator as their terminal emulator cannot have a terminal open whilst using the Idris plugin. I don't know if #204 is the best way to solve this, but I do agree that the keymap probably needs changing/rethinking.

ulidtko commented 5 years ago

204 is the best way to solve it!

What could be better? :)