From 83eadd49278b2a5db1a13c7bab6f21450170a84f Mon Sep 17 00:00:00 2001 From: Rich Harris Date: Sat, 22 Dec 2018 21:53:41 -0500 Subject: [PATCH 01/11] embedded REPLs --- site/src/routes/_layout.html | 8 +- site/src/routes/index.html | 46 ++++++ .../routes/repl/_components/Output/index.html | 4 +- .../routes/repl/_components/SplitPane.html | 4 +- site/src/routes/repl/embed.html | 144 ++++++++++++++++++ 5 files changed, 202 insertions(+), 4 deletions(-) create mode 100644 site/src/routes/repl/embed.html diff --git a/site/src/routes/_layout.html b/site/src/routes/_layout.html index 2f5b583e1c..dea82c4f07 100644 --- a/site/src/routes/_layout.html +++ b/site/src/routes/_layout.html @@ -3,10 +3,16 @@ import Nav from '../components/TopNav.html'; export let child; + export let path; -