From b58a75b35ca3c64aedca8ba71a6d2888309471e0 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 2f5b583e1c3d..dea82c4f0753 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; -