Implementation of #117: sharing

2022-11-24 16:08:51 +01:00
parent 5b1ec14891
commit b61e8ff681
12 changed files with 78 additions and 25 deletions
@@ -30,3 +30,9 @@ export type IndexTreeEvent = {
  name: string;
  tree: ParseTree;
 };
+
+export type PublishEvent = {
+  uri: string;
+  // Page name
+  name: string;
+};