hacklab/strudel
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

hide mini repl headers + improve workshop

Browse source
This commit is contained in:
Felix Roos 2023-05-26 16:05:53 +02:00
parent 82225f0b81
commit 0d6fcf78d8
4 changed files with 179 additions and 91 deletions
Download patch file Download diff file Expand all files Collapse all files

3
website/src/docs/MiniRepl.jsx
View file

@ -27,7 +27,7 @@ if (typeof window !== 'undefined') {
prebake();
}
export function MiniRepl({ tune, drawTime, punchcard, span = [0, 4], canvasHeight = 100 }) {
export function MiniRepl({ tune, drawTime, punchcard, span = [0, 4], canvasHeight = 100, hideHeader }) {
const [Repl, setRepl] = useState();
const { theme } = useSettings();
useEffect(() => {
@ -47,6 +47,7 @@ export function MiniRepl({ tune, drawTime, punchcard, span = [0, 4], canvasHeigh
span={span}
canvasHeight={canvasHeight}
theme={themes[theme]}
hideHeader={hideHeader}
/>
</div>
) : (