pgadmin4/web/pgadmin/static/js/components/ReactCodeMirror
Aditya Toshniwal 2dac2d0e21 Fixed an issue where editor shortcuts fail when using Option key combinations on macOS, due to macOS treating Option+Key as a different key input. #9116 2025-09-01 16:20:35 +05:30
..
components Add support for changing cursor blink rate within the editors. #8712 2025-08-18 12:34:31 +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 Fixed an issue where editor shortcuts fail when using Option key combinations on macOS, due to macOS treating Option+Key as a different key input. #9116 2025-09-01 16:20:35 +05:30