Add pagination to search results.

Move to shared definition of json requests between client/server.
2023-03-09 18:04:55 -08:00
parent f16860dd09
commit eba362a7f2
10 changed files with 162 additions and 34 deletions
--- a/web/Cargo.toml
+++ b/web/Cargo.toml
@@ -22,6 +22,7 @@ seed = "0.9.2"
 console_log = {git = "http://git-private.h.xinu.tv/wathiede/console_log.git"}
 serde = { version = "1.0.147", features = ["derive"] }
 notmuch = {path = "../notmuch"}
+shared = {path = "../shared"}
 itertools = "0.10.5"
 serde_json = { version = "1.0.93", features = ["unbounded_depth"] }
 wasm-timer = "0.2.5"