You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: