[pgadmin-org/pgadmin4] 4c6412: Fixed an issue enable/disable tools menus is not w...

[Nikhil Mohite]

  Branch: refs/heads/master
  Home:   https://github.com/pgadmin-org/pgadmin4
  Commit: 4c6412458827fa54c015a2d698e231749e1c9276
      
https://github.com/pgadmin-org/pgadmin4/commit/4c6412458827fa54c015a2d698e231749e1c9276
  Author: Nikhil Mohite <nikhil.moh...@enterprisedb.com>
  Date:   2022-12-12 (Mon, 12 Dec 2022)

  Changed paths:
    M web/pgadmin/browser/static/js/browser.js

  Log Message:
  -----------
  Fixed an issue enable/disable tools menus is not working in native menus. 
#5503