From 1a25fdffbba4bea35c76af4ed142908ee75be9fa Mon Sep 17 00:00:00 2001
From: Nikhil Mohite <nikhil.mohite@enterprisedb.com>
Date: Thu, 30 Sep 2021 16:25:27 +0530
Subject: [PATCH] Ensure that the 'When' field should be read-only in the
 properties panel. Fixes #6836

---
 web/pgadmin/static/js/components/CodeMirror.jsx | 1 +
 1 file changed, 1 insertion(+)

diff --git a/web/pgadmin/static/js/components/CodeMirror.jsx b/web/pgadmin/static/js/components/CodeMirror.jsx
index a848cfbe3..1c3947fb9 100644
--- a/web/pgadmin/static/js/components/CodeMirror.jsx
+++ b/web/pgadmin/static/js/components/CodeMirror.jsx
@@ -47,6 +47,7 @@ export default function CodeMirror({currEditor, name, value, options, events, re
         editor.current.setOption('readOnly', 'nocursor');
       } else if(readonly) {
         cmWrapper.current.classList.add('cm_disabled');
+        editor.current.setOption('readOnly', true);
         editor.current.addKeyMap({'Tab': false});
         editor.current.addKeyMap({'Shift-Tab': false});
       } else {