mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2026-10-30 16:20:04 -05:00
Fixed an issue where ALT+F5 for executing a query in the Query Tool shows a crosshair cursor icon for rectangular selection. #9570
This commit is contained in:
1 parent
792441ab95
commit
3598840203
1 file changed
+2
-2
@@ -119,9 +119,9 @@ function insertTabWithUnit({ state, dispatch }) {
|
||||
/* React wrapper for CodeMirror */
|
||||
const defaultExtensions = [
|
||||
highlightSpecialChars(),
|
||||
rectangularSelection(),
|
||||
dropCursor(),
|
||||
crosshairCursor(),
|
||||
rectangularSelection({ eventFilter: (e) => e.altKey && e.ctrlKey }),
|
||||
crosshairCursor({ key: 'Control' }),
|
||||
EditorState.allowMultipleSelections.of(true),
|
||||
indentOnInput(),
|
||||
syntaxHighlighting,
|
||||
|
||||
Reference in new issue
Block a user