From eutro to ~williewillus/public-inbox
Improve whitespace handling in result presentation Update on top of rebase, make template arguments explicit, support dynamic template reloads Styling improvements --- backend.rkt | 14 +- frontends/discord.rkt | 13 +- frontends/http.rkt | 321 ------------------------------ frontends/http/base.html | 43 ++++ frontends/http/favicon.ico | Bin 0 -> 67646 bytes frontends/http/home.html | 5 + frontends/http/icon.svg | 194 ++++++++++++++++++ frontends/http/main.rkt | 265 ++++++++++++++++++++++++ [message trimmed]
From eutro to ~williewillus/public-inbox
--- frontends/http.rkt | 50 ++++++++++++++++++++++++---------------------- 1 file changed, 26 insertions(+), 24 deletions(-) diff --git a/frontends/http.rkt b/frontends/http.rkt index 74b6f11..a779489 100644 --- a/frontends/http.rkt +++ b/frontends/http.rkt @@ -81,7 +81,18 @@ (role "navigation") (aria-label "main navigation")) (div ((class "navbar-menu")) ((class "navbar-brand has-background-dark")) [message trimmed]
From eutro to ~williewillus/public-inbox
--- backend.rkt | 12 +- frontends/discord.rkt | 23 ++- frontends/http.rkt | 336 ++++++++++++++++++++++++++++++------------ interface.rkt | 14 +- result.rkt | 23 +++ 5 files changed, 287 insertions(+), 121 deletions(-) create mode 100644 result.rkt diff --git a/backend.rkt b/backend.rkt index d7bb465..0e67637 100644 --- a/backend.rkt @@ -70,7 +70,7 @@ [message trimmed]
From eutro to ~williewillus/public-inbox
--- backend.rkt | 12 ++-- frontends/http.rkt | 175 +++++++++++++++++++++++++++++++++++++++++++++ interface.rkt | 4 +- 3 files changed, 184 insertions(+), 7 deletions(-) create mode 100644 frontends/http.rkt diff --git a/backend.rkt b/backend.rkt index 17ecd92..d7bb465 100644 --- a/backend.rkt @@ -110,11 +110,11 @@ (define/public (register name code author timestamp) (cond [message trimmed]
From eutro to ~williewillus/public-inbox
--- frontends/http/base.html | 4 +- frontends/http/favicon.ico | Bin 0 -> 67646 bytes frontends/http/icon.svg | 42307 +++++++++++++++++++++++++++++++++++ frontends/http/main.rkt | 14 + frontends/http/style.css | 2 +- 5 files changed, 42325 insertions(+), 2 deletions(-) create mode 100644 frontends/http/favicon.ico create mode 100644 frontends/http/icon.svg diff --git a/frontends/http/base.html b/frontends/http/base.html index 9c8a67b..095b55e 100644 --- a/frontends/http/base.html +++ b/frontends/http/base.html [message trimmed]
From eutro to ~williewillus/public-inbox
--- frontends/http/raw.html | 2 +- frontends/http/style.css | 2 +- frontends/http/tricks.html | 7 ++++--- 3 files changed, 6 insertions(+), 5 deletions(-) diff --git a/frontends/http/raw.html b/frontends/http/raw.html index 2173dbe..0b85c25 100644 --- a/frontends/http/raw.html +++ b/frontends/http/raw.html @@ -16,7 +16,7 @@ [is-link? (in-cycle (in-list '(#f #t)))]) (define v (substring line start end)) (if is-link? [message trimmed]
From eutro to ~williewillus/public-inbox
--- frontends/http/base.html | 39 ++++---- frontends/http/home.html | 4 +- frontends/http/main.rkt | 10 +- frontends/http/raw.html | 4 +- frontends/http/simple.html | 4 + frontends/http/style-in.css | 20 ++++ frontends/http/style.css | 7 +- frontends/http/tailwind.config.js | 5 + frontends/http/tricks.html | 152 ++++++++++++++++++------------ 9 files changed, 152 insertions(+), 93 deletions(-) create mode 100644 frontends/http/simple.html create mode 100644 frontends/http/style-in.css create mode 100644 frontends/http/tailwind.config.js [message trimmed]
From eutro to ~williewillus/public-inbox
--- frontends/http/base.html | 2 +- frontends/http/{home.rkt => home.html} | 1 + frontends/http/main.rkt | 88 ++++++++++++++++++++------ frontends/http/raw.html | 2 +- frontends/http/result.html | 4 +- frontends/http/tricks.html | 2 +- 6 files changed, 75 insertions(+), 24 deletions(-) rename frontends/http/{home.rkt => home.html} (89%) diff --git a/frontends/http/base.html b/frontends/http/base.html index 77a932b..1da1024 100644 --- a/frontends/http/base.html +++ b/frontends/http/base.html [message trimmed]
From eutro to ~williewillus/public-inbox
--- frontends/http/result.html | 29 ++++++++++++++++------------- 1 file changed, 16 insertions(+), 13 deletions(-) diff --git a/frontends/http/result.html b/frontends/http/result.html index 11c5503..469ce5e 100644 --- a/frontends/http/result.html +++ b/frontends/http/result.html @@ -6,15 +6,16 @@ (with-output-to-string (lambda () (when stderr (displayln stderr)) (display stderr)) [message trimmed]
From eutro to ~williewillus/public-inbox
--- backend.rkt | 14 +- frontends/discord.rkt | 13 +- frontends/http.rkt | 321 ------------------------------------- frontends/http/base.html | 46 ++++++ frontends/http/home.rkt | 4 + frontends/http/main.rkt | 197 +++++++++++++++++++++++ frontends/http/raw.html | 23 +++ frontends/http/result.html | 37 +++++ frontends/http/style.css | 6 + frontends/http/tricks.html | 72 +++++++++ interface.rkt | 27 +++- result.rkt | 16 +- 12 files changed, 435 insertions(+), 341 deletions(-) [message trimmed]
