Fixes #485

2023-08-04 21:25:14 +02:00
parent 92399f8909
commit 351f4172d9
2 changed files with 12 additions and 0 deletions
@@ -77,6 +77,14 @@ export async function updateDirectivesOnPageCommand() {
  }
 }

+export async function updateDirectivesInSpaceCommand() {
+  await editor.flashNotification(
+    "Updating directives in entire space, this can take a while...",
+  );
+  await updateDirectivesInSpace();
+  await editor.flashNotification("Done!");
+}
+
 async function findReplacements(
  tree: ParseTree,
  text: string,