From ac3765c16de73d417ad3dc08278898759c733573 Mon Sep 17 00:00:00 2001
From: Amarsh Anand <amarsh.anand@gmail.com>
Date: Sun, 17 Sep 2023 19:45:03 -0700
Subject: [PATCH] marked readonly

---
 src/prompt.less   | 11 +++++++++++
 src/view/code.tsx |  5 +++++
 2 files changed, 16 insertions(+)

diff --git a/src/prompt.less b/src/prompt.less
index d21fd16b..4c84e05c 100644
--- a/src/prompt.less
+++ b/src/prompt.less
@@ -313,6 +313,17 @@ input[type="checkbox"] {
         padding: 4px 1rem;
         max-width: 80vw;
     }
+    .readonly {
+        .mono-font(12px);
+        position: absolute;
+        top: calc(1.5rem + 3px);
+        right: 10rem;
+        border-radius: 5px;
+        background-color: @term-bright-red;
+        color: white;
+        z-index: 1;
+        padding: 0 6px 2px;
+    }
 }
 
 .renderer-container.json-renderer {
diff --git a/src/view/code.tsx b/src/view/code.tsx
index 73aeed68..339cfe18 100644
--- a/src/view/code.tsx
+++ b/src/view/code.tsx
@@ -43,6 +43,7 @@ class SourceCodeRenderer extends React.Component<
         isPreviewerAvailable: boolean;
         showPreview: boolean;
         editorFraction: number;
+        showReadonly: boolean;
     }
 > {
     /**
@@ -77,6 +78,7 @@ class SourceCodeRenderer extends React.Component<
             isPreviewerAvailable: false,
             showPreview: this.props.lineState["showPreview"],
             editorFraction: this.props.lineState["editorFraction"] || 0.5,
+            showReadonly: false,
         };
     }
 
@@ -176,6 +178,7 @@ class SourceCodeRenderer extends React.Component<
                 this.props.rendererApi.onFocusChanged(false);
             });
         }
+        if (!this.getAllowEditing()) this.setState({ showReadonly: true });
     };
 
     handleEditorScrollChange(e) {
@@ -259,6 +262,7 @@ class SourceCodeRenderer extends React.Component<
                 this.setState({
                     isClosed: true,
                     message: { status: "success", text: `Closed. This editor is now read-only` },
+                    showReadonly: true,
                 });
                 setTimeout(() => {
                     this.setEditorHeight();
@@ -314,6 +318,7 @@ class SourceCodeRenderer extends React.Component<
 
     getCodeEditor = () => (
         <div style={{ maxHeight: this.props.opts.maxSize.height }}>
+            {this.state.showReadonly && <div className="readonly">{"read-only"}</div>}
             <Editor
                 theme="hc-black"
                 height={this.state.editorHeight}