diff --git a/website/playground/Playground.jsx b/website/playground/Playground.jsx
index 876b5edc1..b34da37c6 100644
--- a/website/playground/Playground.jsx
+++ b/website/playground/Playground.jsx
@@ -398,6 +398,7 @@ function setup(props) {
{editorState.showInput ? (
) : null}
{editorState.showDoc && !isDocExplorer ? (
-
+
) : null}
{editorState.showComments && !isDocExplorer ? (
(
);
@@ -388,6 +389,7 @@ function setup(props, { emit }) {
const CodeMirrorPanel = {
name: "CodeMirrorPanel",
props: {
+ name: { type: String, required: true },
value: { type: String, required: true },
selection: { type: Object, default: undefined },
onSelectionChange: { type: Function, default: undefined },
@@ -438,7 +440,7 @@ export function OutputPanel(props) {
);
}
-export function DebugPanel({ mode, value, autoFold }) {
+export function DebugPanel({ mode, value, autoFold, name }) {
return (
);
}
diff --git a/website/playground/playground.css b/website/playground/playground.css
index 8b6322e24..e9be7c643 100644
--- a/website/playground/playground.css
+++ b/website/playground/playground.css
@@ -131,6 +131,10 @@ header h1 {
padding: 10px 20px;
}
+.editor {
+ position: relative;
+}
+
/* display as 2x2 grid */
@media (min-width: 800px) {
.options-container {
@@ -155,6 +159,18 @@ header h1 {
opacity: 0;
}
+.editor__name {
+ color: #fff;
+ position: absolute;
+ inset-inline-start: 0;
+ inset-block-end: 0;
+ background: #000;
+ opacity: 0.4;
+ padding: 0.25em 0.5em;
+ pointer-events: none;
+ border-start-end-radius: 4px;
+}
+
.bottom-bar {
position: relative;
}