settings sync

This commit is contained in:
Felix Roos 2023-12-17 21:16:29 +01:00
parent 592e54a53f
commit 1cdb5964c6
6 changed files with 34 additions and 58 deletions

View file

@ -5,7 +5,7 @@
</head>
<body>
<p>This is a REPL:</p>
<strudel-editor
<!-- <strudel-editor
keybindings="emacs"
is-line-numbers-displayed="1"
is-active-line-highlighted="1"
@ -17,7 +17,8 @@
theme="strudelTheme"
font-family="monospace"
font-size="18"
code={`s("bd")`}></strudel-editor>
code={`s("bd")`}></strudel-editor> -->
<strudel-editor code={`s("bd")`}></strudel-editor>
<p>This is another REPL:</p>
<strudel-editor is-line-numbers-displayed="0"><!--