Branch: refs/heads/master
Home: https://github.com/pgadmin-org/pgadmin4
Commit: ff6f0825b89c042abc6c7c75b0073c9b93a579c3
https://github.com/pgadmin-org/pgadmin4/commit/ff6f0825b89c042abc6c7c75b0073c9b93a579c3
Author: Pravesh Sharma <pravesh(dot)sharma(at)enterprisedb(dot)com>
Date: 2023-02-10 (Fri, 10 Feb 2023)
Changed paths:
M web/pgadmin/browser/__init__.py
M web/pgadmin/browser/templates/browser/js/utils.js
M web/pgadmin/preferences/static/js/components/PreferencesComponent.jsx
Log Message:
-----------
Fixed an issue where lock layout menu was not in sync with preferences. #5758