pgadmin-org
/
pgadmin4
mirror of https://github.com/pgadmin-org/pgadmin4.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
pgadmin4/web/pgadmin/static/js/components/ReactCodeMirror
History
Pravesh Sharma cda498f779
Added support for customizing keyboard shortcuts in the Query Tool's Edit menu. #2659 		2025-06-13 15:48:54 +05:30
..
components 1) Added copyright header from the missing files. 2025-06-12 19:14:41 +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 Added support for customizing keyboard shortcuts in the Query Tool's Edit menu. #2659 2025-06-13 15:48:54 +05:30