IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Fixed an issue where option key was not registering in PSQL tool. #6968

Browse Source
This commit is contained in:
Anil Sahoo 2023-12-11 11:28:33 +05:30 committed by GitHub
parent 371bec7f19
commit 4490b623f8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
web/pgadmin/tools/psql/static/js/psql_module.js
View File

@ -161,7 +161,6 @@ export function initialize(gettext, url_for, _, pgAdmin, csrfToken, Browser) {
// theme colors // theme colors
return new terminal({ return new terminal({
cursorBlink: true, cursorBlink: true,
macOptionIsMeta: true,
scrollback: 5000, scrollback: 5000,
}); });
}, },
@ -283,7 +282,7 @@ export function initialize(gettext, url_for, _, pgAdmin, csrfToken, Browser) {
}); });
term.onKey(function (ev) { term.onKey(function (ev) {
socket.emit('socket_input', {'input': ev.domEvent.key, 'key_name': ev.domEvent.code}); socket.emit('socket_input', {'input': ev.key, 'key_name': ev.domEvent.code});
}); });
}, },
check_db_name_change: function(db_name, o_db_name) { check_db_name_change: function(db_name, o_db_name) {