style

leanprover · Aug 16, 2024 · 328e3ce · 328e3ce
1 parent d3c23f7
commit 328e3ce
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/vscode-lean4/src/leanclient.ts b/vscode-lean4/src/leanclient.ts
@@ -29,7 +29,11 @@ import {
 import * as ls from 'vscode-languageserver-protocol'
 
 import { LeanFileProgressParams, LeanFileProgressProcessingInfo, ServerStoppedReason } from '@leanprover/infoview-api'
-import { getElaborationDelay, getFallBackToStringOccurrenceHighlighting, shouldAutofocusOutput } from './config'
+import {
+    getElaborationDelay,
+    getFallBackToStringOccurrenceHighlighting,
+    shouldAutofocusOutput
+} from './config'
 import { logger } from './utils/logger'
 // @ts-ignore
 import { SemVer } from 'semver'