mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2024-12-01 21:09:10 -06:00
2872b5c5d3
2) Ensure that if the zoom level is changed on the main window then it should be applicable for all the opened windows. refs #6271 |
||
---|---|---|
.. | ||
server_groups | ||
static | ||
templates/browser | ||
tests | ||
__init__.py | ||
collection.py | ||
register_browser_preferences.py | ||
utils.py |