Skip to content

editing a keybind doesn't update without browser refresh #4673

Closed

Description

@binary-person

OS/Web Information

  • Web Browser: Chrome 96
  • Local OS: Linux
  • Remote OS: Docker using codercom/code-server:latest
  • Remote Architecture: x86_64
  • code-server --version: 3.12.0 2661a690ac228872e8d1dc28ab6d33e8afc30add

Steps to Reproduce

  1. ctrl + shift + p and type keyboard shortcuts
  2. edit any keybinding
  3. type in a custom keybinding and hit enter
  4. keybinding doesn't update

Expected

Updates keybinding on change without browser reload

Actual

Keybinding doesn't update without browser reload. The "update" here means the keybinding changes are taken effect immediately and the new keybind combination is shown in the keybind entry

Logs

(No browser nor server logs were printed when changing a keybinding)

Notes

This issue can be reproduced in VS Code: No

Activity

  1. added
    bugSomething isn't working
    needs-investigationThis issue needs to be further investigated
    on Jan 3, 2022
  2. jsjoeio commented on Jan 3, 2022

    @jsjoeio
    Contributor

    Thank you for reporting!

  3. stale commented on Jul 3, 2022

    @stale

    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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Type

    No type

    Projects

    No projects

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions