Skip to content

Gutter tip prompt shortcut keys do not follow settings #11161

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

Closed
LoneFireBlossom opened this issue Apr 26, 2024 · 3 comments
Closed

Gutter tip prompt shortcut keys do not follow settings #11161

LoneFireBlossom opened this issue Apr 26, 2024 · 3 comments
Assignees
Labels
Milestone

Comments

@LoneFireBlossom
Copy link

In what scenarios do you need this feature?

比如我这样设置快捷键:
image

这样设置后,在这里显示的依然是原来的快捷键:
image

其它功能其它地方未做测试。

Describe the optimal solution

.

Describe the candidate solution

No response

Other information

No response

@Vanessa219
Copy link
Member

刷新后正常么?
image

@LoneFireBlossom
Copy link
Author

刷新后正常么? image

额,这快捷键我都改了好几周了,只是现在才注意到这个问题

@Vanessa219 Vanessa219 added the Bug label Apr 27, 2024
@Vanessa219 Vanessa219 added this to the 3.0.12 milestone Apr 27, 2024
Vanessa219 added a commit that referenced this issue Apr 27, 2024

Unverified

This user has not yet uploaded their public signing key.
@Vanessa219 Vanessa219 changed the title 修改「聚焦」快捷键后,某些地方显示的快捷键没有跟着改 Gutter tip prompt shortcut keys do not follow settings Apr 27, 2024
@LoneFireBlossom
Copy link
Author

这个没改全,我是macOS,结果显示的是windows的快捷键(如图中Ctrl+Click应该是CMD+Click)
image

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants