Branch: refs/heads/master
Home: https://github.com/pgadmin-org/pgadmin4
Commit: 4925c6ce509781c59f8abc1f3cf58fb65baae9d6
https://github.com/pgadmin-org/pgadmin4/commit/4925c6ce509781c59f8abc1f3cf58fb65baae9d6
Author: Nikhil Mohite <nikhil(dot)mohite(at)enterprisedb(dot)com>
Date: 2022-10-20 (Thu, 20 Oct 2022)
Changed paths:
M web/pgadmin/browser/server_groups/servers/databases/static/js/database.js
Log Message:
-----------
Ensure the Generate ERD option is hidden if the connection to the database is not allowed. #5149