-
Notifications
You must be signed in to change notification settings - Fork 0
/
vscode.talon
47 lines (38 loc) · 2.14 KB
/
vscode.talon
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
app: vscode
-
(dismiss | clear all notifications) : user.vscode("notifications.clearAll")
open keyboard shortcuts: user.vscode("workbench.action.openGlobalKeybindings")
open settings: user.vscode("workbench.action.openSettings")
open logfile: user.vscode("workbench.action.openLogFile")
open recent: user.vscode("workbench.action.openRecent")
open terminal: user.vscode("workbench.action.terminal.new")
close terminal: user.vscode("workbench.action.terminal.toggleTerminal")
quick fix: user.vscode("editor.action.quickFix")
undo: user.vscode("undo")
close file: user.vscode("workbench.action.closeActiveEditor")
toggle git blame: user.vscode("gitlens.toggleLineBlame")
toggle word wrap: user.vscode("editor.action.toggleWordWrap")
toggle zen mode: user.vscode("workbench.action.toggleZenMode")
toggle sidebar: user.vscode("workbench.action.toggleSidebarVisibility")
toggle decorations: user.vscode("cursorless.toggleDecorations")
toggle minimap: user.vscode("editor.action.toggleMinimap")
toggle terminal: user.vscode("workbench.action.terminal.toggleTerminal")
format (file | document): user.vscode("editor.action.formatDocument")
(close others|close other tabs): user.vscode("workbench.action.closeOtherEditors")
(new file|create new file): user.vscode("explorer.newFile")
# copilot
copilot suggest something: user.vscode("editor.action.inlineSuggest.trigger")
(accept | apply) (suggestion | completion): user.vscode("editor.action.inlineSuggest.commit")
autocomplete: user.vscode("editor.action.inlineSuggest.commit")
open copilot chat: user.vscode("workbench.action.openChat.copilot")
open copilot quick chat: user.vscode("workbench.action.openQuickChat.copilot")
open copilot logs: user.vscode("github.copilot.openLogs")
copilot fix this: user.vscode("github.copilot.interactiveEditor.fix")
# python
run python: user.vscode("python.execInTerminal")
# lean
toggle info view: user.vscode("lean4.toggleInfoview")
(restart | refresh) file: user.vscode("lean4.refreshFileDependencies")
lean file (restart | refresh): user.vscode("lean4.refreshFileDependencies")
restart (lean | lean server): user.vscode("lean4.restartServer")
fetch cache: user.vscode("lean4.project.fetchCache")