New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Ctrl+Enter doesn't add comment #5914
Comments
I'm not able to reproduce this. Do you have another extension installed that's taking that keybinding. You can check by running the command "Developer: Toggle Keyboard Shortcuts Troubleshooting" and looking at the logs that are shown. |
I found that the extension {
"key": "ctrl+enter",
"command": "github.copilot.generate",
"when": "editorTextFocus && github.copilot.activated && !inInteractiveInput && !interactiveEditorFocused"
} However, I don't understand why the |
The input where you enter your comment counts as |
Should it really count as an editor though? Isn't that the problem? |
Yes, it is a code editor. This is how we get nice things like markdown syntax highlighting pasting markdown links in the comment widget input. |
Copilot folks have fixed the issue and it should be in one of their upcoming releases. |
Version: 1.87.2 (system setup)
Commit: 863d2581ecda6849923a2118d93a088b0745d9d6
Date: 2024-03-08T15:20:17.278Z
Electron: 27.3.2
ElectronBuildId: 26836302
Chromium: 118.0.5993.159
Node.js: 18.17.1
V8: 11.8.172.18-electron.0
OS: Windows_NT x64 10.0.22631
Steps to Reproduce:
Expected result:
The reply would be saved
Observed result:
Nothing happens
The text was updated successfully, but these errors were encountered: