pgadmin4/web/pgadmin/static/js/components/ReactCodeMirror
Pravesh Sharma 62eb330423
Introduced an ‘Editor’ preferences category and migrated all editor related settings into it. #8861
2025-07-28 14:09:16 +05:30
..
components Introduced an ‘Editor’ preferences category and migrated all editor related settings into it. #8861 2025-07-28 14:09:16 +05:30
extensions 1) Added copyright header from the missing files. 2025-06-12 19:14:41 +05:30
CustomEditorView.js 1) Added copyright header from the missing files. 2025-06-12 19:14:41 +05:30
index.jsx Introduced an ‘Editor’ preferences category and migrated all editor related settings into it. #8861 2025-07-28 14:09:16 +05:30