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
F10 is bound to Step Over but it doesn't work because it's bound to Focus Application Menu. Rebinding Focus Application Menu just creates a new keybinding instead of changing the default so there's no way to work around this currently.
For now, to make F10 works for Step Over, you can patch file <code-server>/lib/vscode/out/vs/workbench/workbench.web.api.js, search for {primary:68 and replace with {primary:0. Here is my command to patch it:
sudo sed -i 's/{primary:68/{primary:0/g' /usr/lib/code-server/lib/vscode/out/vs/workbench/workbench.web.api.js
For now, to make F10 works for Step Over, you can patch file <code-server>/lib/vscode/out/vs/workbench/workbench.web.api.js, search for {primary:68 and replace with {primary:0. Here is my command to patch it:
sudo sed -i 's/{primary:68/{primary:0/g' /usr/lib/code-server/lib/vscode/out/vs/workbench/workbench.web.api.js
im a year late to the party, but the issue still persists. The actual keybinding change works, but you need to refresh your browser every time you change a keybinding for changes to take effect
Activity
code-asher commentedon Sep 10, 2020
I think there are others that can't be removed either, like
F1to show the command palette.tuanpham-dev commentedon Sep 13, 2020
For now, to make F10 works for
Step Over, you can patch file<code-server>/lib/vscode/out/vs/workbench/workbench.web.api.js, search for{primary:68and replace with{primary:0. Here is my command to patch it:sudo sed -i 's/{primary:68/{primary:0/g' /usr/lib/code-server/lib/vscode/out/vs/workbench/workbench.web.api.jsWhitCrow commentedon Sep 17, 2020
i dont find th
/lib/vscodefoldertuanpham-dev commentedon Sep 17, 2020
It's in code-server folder which is
/usr/lib/code-serverin my case.WhitCrow commentedon Sep 27, 2020
Its working,Thanks
StephanieHerd commentedon Oct 15, 2020
Is there an ETA on this bug? Thank you.
code-asher commentedon Oct 15, 2020
StephanieHerd commentedon Oct 15, 2020
Thanks for the quick response. I understand I guess the temporary fixed posted above would be ok for now. Cheers.
raul87011523 commentedon Mar 10, 2021
Hello, I found a solution
Example ilustrated:
stale commentedon Oct 27, 2021
This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no activity occurs in the next 5 days.
binary-person commentedon Dec 27, 2021
im a year late to the party, but the issue still persists. The actual keybinding change works, but you need to refresh your browser every time you change a keybinding for changes to take effect
jsjoeio commentedon Jan 3, 2022
@binary-person do you mind opening up a bug report for that?
binary-person commentedon Jan 3, 2022
sure! #4673