On Linux, agda-mode hijack the keybinding

banacorn / agda-mode-vscode

agda-mode on VS Code

https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode

MIT License

167 stars 38 forks source link

On Linux, agda-mode hijack the keybinding #185

Closed dannypsnl closed 4 months ago

dannypsnl commented 4 months ago

Situation

If I type Ctrl+x, it will pop a message say "already press ctrl+x, waiting for the second command", and this only happened in agda files.

Version

版本: 1.87.2
認可: 863d2581ecda6849923a2118d93a088b0745d9d6
日期: 2024-03-13T17:44:04.525Z
Electron: 27.3.8
ElectronBuildId: undefined
Chromium: 118.0.5993.159
Node.js: 18.17.1
V8: 11.8.172.18-electron.0
OS: Linux x64 6.8.2-arch2-1

dannypsnl commented 4 months ago

It's not appeared now, probably not an issue of the plugin.