Aditya Toshniwal f351b10ed0 Fix an issue in query tool where toggle case of selected text loses selection. #7277 ... Also make changes to give pgAdmin shortcuts higher priority over CodeMirror default shortcuts.		2024-03-14 18:18:53 +05:30
..
components	Fix an issue in query tool where toggle case of selected text loses selection. #7277	2024-03-14 18:18:53 +05:30
extensions	Upgrade CodeMirror from version 5 to 6. #7097	2024-02-21 11:15:25 +05:30
CustomEditorView.js	Fix an issue in query tool where toggle case of selected text loses selection. #7277	2024-03-14 18:18:53 +05:30
index.jsx	Fix an issue in query tool where toggle case of selected text loses selection. #7277	2024-03-14 18:18:53 +05:30