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

Allow preferences customization using a configuration file. #6058

Browse Source
This commit is contained in:
Yogesh Mahajan
2024-02-15 14:58:31 +05:30
committed by GitHub
parent a74b0232f9
commit 5a74022e8a
7 changed files with 102 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
web/pgadmin/preferences/__init__.py
View File

@@ -282,6 +282,9 @@ def save_pref(data):
and data['value'].isspace():
data['value'] = ''
if data['value'] in ['true','false']:
data['value'] = True if data['value'] == 'true' else False
res, _ = Preferences.save_cli(
data['mid'], data['category_id'], data['id'], data['user_id'],
data['value'])

2
web/pgadmin/preferences/static/js/components/PreferencesComponent.jsx
View File

@@ -378,7 +378,7 @@ export default function PreferencesComponent({ ...props }) {
if(field.visible && _.isNull(firstElement)) {
firstElement = field;
}
field.tooltip = item._parent._metadata.data.name + ':' + item._metadata.data.name + ':' + field.name;
field.tooltip = item._parent._metadata.data.name.toLowerCase() + ':' + item._metadata.data.name + ':' + field.name;
});
setLoadTree(crypto.getRandomValues(new Uint16Array(1)));
initTreeTimeout = setTimeout(() => {