Visual indication of initial indexing progress (red circle)

2025-06-12 14:35:16 +02:00
parent 1910ffce3e
commit b942ebabad
10 changed files with 62 additions and 18 deletions
@@ -256,6 +256,13 @@ export function hidePanel(
  return syscall("editor.hidePanel", id);
 }

+export function showProgress(
+  progressPercentage?: number,
+  progressType?: string,
+) {
+  return syscall("editor.showProgress", progressPercentage, progressType);
+}
+
 /**
 * Insert text at the specified position into the editor
 * @param text the text to insert