mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
Ensure that the 'When' field should be read-only in the properties panel. Fixes #6836
This commit is contained in:
parent
1632e5287a
commit
1a25fdffbb
@ -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 {
|
||||
|
Loading…
Reference in New Issue
Block a user