Patch for setting preferences with user id
В списке pgadmin-hackers по дате отправления:
Предыдущее
От: Aditya ToshniwalДата:
Сообщение: [pgAdmin4][RM3660] Rename 'SQL Editor' into 'Query Tool' in Preferences
Следующее
От: Dave PageДата:
Сообщение: pgAdmin 4 commit: Save the treeview state periodically,and restore it