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

Fix keyboard shortcuts layout in the preferences panel. Fixes #3407

Browse Source
This commit is contained in:
Akshay Joshi
2018-08-07 14:41:50 +01:00
committed by Dave Page
parent 3a5684510a
commit 7117ce6a22
4 changed files with 31 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
web/pgadmin/preferences/static/css/preferences.css
View File

@@ -48,3 +48,9 @@ div.pgadmin-preference-body div.ajs-content {
.preferences_content .pgadmin-controls input[type="checkbox"] {
margin-left: -20px !important;
}
.preferences_content .pgadmin-controls .shift,
.preferences_content .pgadmin-controls .control,
.preferences_content .pgadmin-controls .alt {
margin-left: 15px !important;
}

7
web/pgadmin/static/js/backform.pgadmin.js
View File

@@ -2740,6 +2740,13 @@ define([
cntr.render();
if(fld['type'] == 'checkbox') {
// Remove control label for keyboard shortcuts to
// align it properly.
let label = cntr.$el.find('label.control-label').text().trim();
if (label.length <= 0) {
cntr.$el.find('label.control-label').remove();
}
if (fld['name'] == 'alt_option') {
$container.append($('<div class="pg-el-sm-3 pg-el-xs-12"></div>').append(cntr.$el));
} else {