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 alignment issues in keyboard shortcut options. Fixes #3080

Browse Source
This commit is contained in:
Harshal Dhumal 2018-02-20 16:49:59 +00:00 committed by Dave Page
parent 9a498c2877
commit c91a597df9
2 changed files with 8 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
web/pgadmin/browser/__init__.py
View File

@ -214,10 +214,10 @@ class BrowserModule(PgAdminModule):
category_label=gettext('Properties')
)
fields = [
{'name': 'alt', 'type': 'checkbox', 'label': gettext('Alt / Option')},
{'name': 'key', 'type': 'keyCode', 'label': gettext('Key')},
{'name': 'shift', 'type': 'checkbox', 'label': gettext('Shift')},
{'name': 'control', 'type': 'checkbox', 'label': gettext('Ctrl')},
{'name': 'key', 'type': 'keyCode', 'label': gettext('Key')}
{'name': 'alt', 'type': 'checkbox', 'label': gettext('Alt/Option')}
]
self.preference.register(

13
web/pgadmin/tools/debugger/__init__.py
View File

@ -84,25 +84,24 @@ class DebuggerModule(PgAdminModule):
shortcut_fields = [
{
'name': 'alt',
'type': 'checkbox',
'label': gettext('Alt/Option')
'name': 'key',
'type': 'keyCode',
'label': gettext('Key')
},
{
'name': 'shift',
'type': 'checkbox',
'label': gettext('Shift')
},
{
'name': 'control',
'type': 'checkbox',
'label': gettext('Ctrl')
},
{
'name': 'key',
'type': 'keyCode',
'label': gettext('Key')
'name': 'alt',
'type': 'checkbox',
'label': gettext('Alt/Option')
}
]