diff options
| author | Lukas Wirth <lukastw97@gmail.com> | 2023-08-12 08:25:51 +0200 |
|---|---|---|
| committer | Lukas Wirth <lukastw97@gmail.com> | 2023-08-15 11:39:53 +0200 |
| commit | e76d20e072cd25ca2df21ef51e973bf666f4c840 (patch) | |
| tree | a11fc842194b9c985c8f1531fe19d061e6a43728 /editors/code/src/commands.ts | |
| parent | 33f9250d2139fa00038736515b9e22c51c419c01 (diff) | |
| download | rust-e76d20e072cd25ca2df21ef51e973bf666f4c840.tar.gz rust-e76d20e072cd25ca2df21ef51e973bf666f4c840.zip | |
Add status bar button to toggle check on save state
Diffstat (limited to 'editors/code/src/commands.ts')
| -rw-r--r-- | editors/code/src/commands.ts | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/editors/code/src/commands.ts b/editors/code/src/commands.ts index e21f536f26a..aba37bac27d 100644 --- a/editors/code/src/commands.ts +++ b/editors/code/src/commands.ts @@ -1407,3 +1407,10 @@ locate() ctx.pushExtCleanup(document); }; } + +export function toggleCheckOnSave(ctx: Ctx): Cmd { + return async () => { + await ctx.config.toggleCheckOnSave(); + ctx.refreshServerStatus(); + }; +} |