+
+// FIXME: Replace this once vscode-languageclient is updated to LSP 3.15
+interface ProgressParams {
+ token: string
+ value: WorkDoneProgress
+}
+
+enum WorkDoneProgressKind {
+ Begin = "begin",
+ Report = "report",
+ End = "end"
+}
+
+interface WorkDoneProgress {
+ kind: WorkDoneProgressKind,
+ message?: string
+ cancelable?: boolean
+ percentage?: string
+}
\ No newline at end of file