mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-01-09 15:43:47 -06:00
6810fa6ce6
Added a fix where electron app menu was not refreshing when node selection changed. |
||
---|---|---|
.. | ||
css | ||
js |