Abdullah Atta
|
d91ce4e936
|
Merge pull request #8389 from 01zulfi/common/update-keybindings
common: update keybindings for editor search, link, internal link, and command palette
|
2025-08-13 13:30:39 +05:00 |
|
01zulfi
|
f9a89783ed
|
common: update keybindings for editor search, link, internal link, and command palette
Signed-off-by: 01zulfi <85733202+01zulfi@users.noreply.github.com>
|
2025-07-23 09:45:12 +05:00 |
|
01zulfi
|
ce3c98ae9b
|
docs: add keyboard shortcuts heading
Signed-off-by: 01zulfi <85733202+01zulfi@users.noreply.github.com>
|
2025-07-22 16:28:07 +05:00 |
|
Abdullah Atta
|
1abf51ae2b
|
common: getGroupedKeybindings should return an array
this is so the groups are always ordered. It also makes it easier to iterate
over the groups.
|
2025-07-22 14:20:15 +05:00 |
|
01zulfi
|
773ede4b6c
|
common: improve key formatting
Signed-off-by: 01zulfi <85733202+01zulfi@users.noreply.github.com>
|
2025-07-22 14:20:15 +05:00 |
|
01zulfi
|
d55a2aa04d
|
common: support mac keyboard formatting
Signed-off-by: 01zulfi <85733202+01zulfi@users.noreply.github.com>
|
2025-07-22 14:20:01 +05:00 |
|
01zulfi
|
d44e8874b8
|
docs: move keyboard shortcuts script to docs/help
Signed-off-by: 01zulfi <85733202+01zulfi@users.noreply.github.com>
|
2025-07-22 14:20:01 +05:00 |
|
01zulfi
|
4b2fb80c23
|
global: add keyboard shortcuts
Signed-off-by: 01zulfi <85733202+01zulfi@users.noreply.github.com>
global: (wip) move keyboard shortcuts metadata into common package
Signed-off-by: 01zulfi <85733202+01zulfi@users.noreply.github.com>
common: refactor keybindings.ts
Signed-off-by: 01zulfi <85733202+01zulfi@users.noreply.github.com>
global: (wip) more refactoring
* minor refactor dialog
* refactor logic out from script file to keybindings file
Signed-off-by: 01zulfi <85733202+01zulfi@users.noreply.github.com>
common: filter keybindings based on platform && minor ui changes
Signed-off-by: 01zulfi <85733202+01zulfi@users.noreply.github.com>
editor: use keyboard keys from common package
Signed-off-by: 01zulfi <85733202+01zulfi@users.noreply.github.com>
web: remove unrelated title-box change
Signed-off-by: 01zulfi <85733202+01zulfi@users.noreply.github.com>
editor: add TODO:remove comments
Signed-off-by: 01zulfi <85733202+01zulfi@users.noreply.github.com>
|
2025-07-22 14:19:46 +05:00 |
|