Add basic URL Encoding for scratchpad text state

Makefile

@@ -50,7 +50,7 @@ echo-html-dir:
 	@echo $(HTML_DIR)
 
 serve:
-	cd $(HTML_DIR); python3 -m http.server 8000
+	cd $(HTML_DIR); python3 -m http.server 8000 --bind 127.0.0.1
 
 serve2:
 	cd $(HTML_DIR); python3 -m http.server 8001

src/haz3lcore/zipper/PersistentZipper.re

@@ -13,6 +13,10 @@ let persist = (zipper: Zipper.t) => {
   };
 };
 
+let persist_text_only = (s: string) => {
+  {zipper: "", backup_text: s};
+};
+
 let unpersist = (persisted: t) =>
   try(Sexplib.Sexp.of_string(persisted.zipper) |> Zipper.t_of_sexp) {
   | _ =>

src/haz3lcore/zipper/Zipper.re

@@ -311,6 +311,8 @@ let serialize = (z: t): string => {
   sexp_of_t(z) |> Sexplib.Sexp.to_string;
 };
 
+let to_sexp = (z: t): Sexplib.Sexp.t => sexp_of_t(z);
+
 let deserialize = (data: string): t => {
   Sexplib.Sexp.of_string(data) |> t_of_sexp;
 };

src/haz3lweb/Store.re

@@ -1,4 +1,5 @@
 open Util;
+
 // A generic key-value store for saving/loading data to/from local storage
 
 type key =
@@ -31,6 +32,8 @@ module F =
        ) => {
   include STORE_KIND;
 
+  let key_string = key_to_string(key);
+
   let serialize = (data: t) => {
     data |> sexp_of_t |> Sexplib.Sexp.to_string;
   };

src/haz3lweb/view/ScratchMode.re

@@ -59,14 +59,33 @@ module StoreDocumentation =
     let default = () => Init.startup.documentation;
   });
 
-module Store =
-  Store.F({
+module Store = {
+  include Store.F({
     [@deriving (show({with_path: false}), sexp, yojson)]
     type t = (int, list(CellEditor.Model.persistent));
     let key = Store.Scratch;
     let default = () => Init.startup.scratch;
   });
 
+  // Override the load function
+  let load = (): t => {
+    switch (JsUtil.QueryParams.get_param(key_string)) {
+    | Some(data) =>
+      let decompressed = StringUtil.decompress(data);
+      let zip = Haz3lcore.Printer.zipper_of_string(decompressed);
+      switch (zip) {
+      | Some(zip) => (0, [PersistentZipper.persist(zip)])
+      | None => init()
+      };
+    | None =>
+      switch (JsUtil.get_localstore(key_string)) {
+      | None => init()
+      | Some(data) => deserialize(data, default())
+      }
+    };
+  };
+};
+
 module Update = {
   open Updated;
   [@deriving (show({with_path: false}), sexp, yojson)]
@@ -76,6 +95,7 @@ module Update = {
     | ResetCurrent
     | InitImportScratchpad([@opaque] Js_of_ocaml.Js.t(Js_of_ocaml.File.file))
     | FinishImportScratchpad(option(string))
+    | Encode
     | Export;
 
   let export_scratch_slide = (model: Model.t): unit => {
@@ -88,6 +108,19 @@ module Update = {
     );
   };
 
+  let encode_scratch_slide = (model: Model.t): unit => {
+    let zip =
+      (model.current |> List.nth(model.scratchpads) |> snd).editor.editor.
+        state.
+        zipper;
+    let compressed = StringUtil.compress(Printer.to_string_basic(zip));
+    JsUtil.QueryParams.set_param(
+      // would like to use Store.key_to_string(Store.Scratch) here, but it's shadowed?
+      "SAVE_SCRATCH",
+      compressed,
+    );
+  };
+
   let update =
       (
         ~schedule_action,
@@ -144,6 +177,9 @@ module Update = {
     | Export =>
       export_scratch_slide(model);
       model |> Updated.return_quiet;
+    | Encode =>
+      encode_scratch_slide(model);
+      model |> Updated.return_quiet;
     };
   };
 
@@ -272,6 +308,13 @@ module View = {
         ~tooltip="Export Scratchpad",
       );
 
+    let encode_button =
+      Widgets.button_named(
+        Icons.export,
+        _ => inject(Encode),
+        ~tooltip="Encode Scratchpad",
+      );
+
     let import_button =
       Widgets.file_select_button_named(
         "import-scratchpad",
@@ -286,7 +329,11 @@ module View = {
       );
 
     let file_group_scratch =
-      NutMenu.item_group(~inject, "File", [export_button, import_button]);
+      NutMenu.item_group(
+        ~inject,
+        "File",
+        [export_button, encode_button, import_button],
+      );
 
     let reset_button =
       Widgets.button_named(

src/util/JsUtil.re

@@ -1,5 +1,6 @@
 open Js_of_ocaml;
 open Virtual_dom.Vdom;
+open Js_of_ocaml.Url;
 
 let get_elem_by_id = id => {
   let doc = Dom_html.document;
@@ -190,3 +191,66 @@ module Fragment = {
     Url.Current.get() |> Option.map(fragment_of_url);
   };
 };
+
+module QueryParams = {
+  let get_arguments = (url: Url.url): list((string, string)) =>
+    switch (url) {
+    | Http({hu_arguments, _}) => hu_arguments
+    | Https({hu_arguments, _}) => hu_arguments
+    | File({fu_arguments, _}) => fu_arguments
+    };
+
+  let set_arguments = (url: Url.url, args: list((string, string))): Url.url =>
+    switch (url) {
+    | Http(u) => Http({...u, hu_arguments: args})
+    | Https(u) => Https({...u, hu_arguments: args})
+    | File(u) => File({...u, fu_arguments: args})
+    };
+
+  let get_param = (name: string) => {
+    let q_opt =
+      Url.Current.get()
+      |> Option.map(url =>
+           url |> get_arguments |> List.find_opt(((k, _)) => k == name)
+         );
+    switch (q_opt) {
+    | Some(Some((_, v))) => Some(v)
+    | _ => None
+    };
+  };
+
+  let set_param = (name: string, value: string) => {
+    Url.Current.get()
+    |> Option.iter(url => {
+         let args =
+           get_arguments(url)
+           |> List.filter(((k, _)) => k != name)
+           |> List.cons((name, value));
+
+         let new_url = set_arguments(url, args);
+         let href = Url.string_of_url(new_url);
+
+         Dom_html.window##.history##pushState(
+           Js.null,
+           Js.string(""),
+           Js.some(Js.string(href)),
+         );
+       });
+  };
+
+  let remove_param = (name: string) =>
+    Url.Current.get()
+    |> Option.iter(url => {
+         let args =
+           get_arguments(url) |> List.filter(((k, _)) => k != name);
+
+         let new_url = set_arguments(url, args);
+         let href = Url.string_of_url(new_url);
+
+         Dom_html.window##.history##pushState(
+           Js.null,
+           Js.string(""),
+           Js.some(Js.string(href)),
+         );
+       });
+};

src/util/StringUtil.re

@@ -63,3 +63,17 @@ let unescape_linebreaks: string => string =
   Re.Str.global_replace(Re.Str.regexp("\\\\n"), "\n");
 
 let trim_leading = Re.Str.global_replace(Re.Str.regexp("\n[ ]*"), "\n");
+
+let compress = (s: string): string => {
+  let js_string = "encodeURIComponent(`" ++ s ++ "`)";
+  let result =
+    Js_of_ocaml.Js.Unsafe.eval_string(js_string) |> Js_of_ocaml.Js.to_string;
+  result;
+};
+
+let decompress = (s: string): string => {
+  let js_string = "decodeURIComponent(`" ++ s ++ "`)";
+  let result =
+    Js_of_ocaml.Js.Unsafe.eval_string(js_string) |> Js_of_ocaml.Js.to_string;
+  result;
+};