Skip to content

Embed playground artifact with site header#10

Merged
kollhof merged 3 commits intomainfrom
embed-playground-artifact
Mar 22, 2026
Merged

Embed playground artifact with site header#10
kollhof merged 3 commits intomainfrom
embed-playground-artifact

Conversation

@kollhof
Copy link
Member

@kollhof kollhof commented Mar 22, 2026

Summary

  • Replace in-tree playground source with pre-built artifact from fink-lang/playground releases (v1.7.0)
  • Add site header (logo + back link) to playground shell via templates/playground.html
  • Update README with accurate project documentation
  • Add SVG renderer for syntax-highlighted Fink code (cargo run -- svg <file.fnk>)
  • Extract syntax token colours into static/syntax-colors.css as --fink-* CSS custom properties — single source of truth for website CSS and SVG renderer

What's in playground v1.7.0

  • Toolbar removal (Share/Run buttons) — site header provides navigation instead
  • AST explorer panel with bidirectional source sync
  • CPS panel with syntax highlighting and sourcemap sync
  • Editor keybindings and Monaco contributions
  • Status bar, diagnostic toggles, hover
  • Minified production JS bundle

Test plan

  • Local build passes (cargo run + artifact download)
  • Playground loads at /playground/ with site header
  • SVG output renders correctly with syntax colours from syntax-colors.css
  • CI build and verification checks pass

kollhof added 3 commits March 20, 2026 21:06
Replace the in-tree playground source with a pre-built artifact downloaded
from fink-lang/playground releases (pinned to v1.4.0).

- Remove playground/ source directory (now lives in fink-lang/playground)
- Add templates/playground.html: full-page shell that sets --fink-editor-*
  CSS variables and fetches/injects fragment.html at runtime
- Add content/playground.md to route /playground/ through the new template
- Update CI to download and extract the artifact after the site build,
  excluding the artifact's index.html so the generated shell is preserved
Replace outdated GitHub Pages boilerplate README with accurate project
docs. Bump playground artifact from v1.4.0 to v1.7.0 (toolbar removal,
AST explorer, editor keybindings, minified JS).
@kollhof kollhof merged commit d6e22da into main Mar 22, 2026
4 checks passed
@kollhof kollhof deleted the embed-playground-artifact branch March 22, 2026 07:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant