IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity
45d536f524
pgadmin4/web/pgadmin/settings
History
Dave Page b09c1b6c68 Fix the gutter height of the editor when the parent is resized.
2015-02-13 13:13:36 +00:00
..
templates/settings Render settings related JS from the settings blueprint. 2015-02-12 10:57:09 +00:00
__init__.py Use minified output when not in debug mode, and non-minified when debugging. 2015-02-12 10:28:15 +00:00
browser.py Render settings related JS from the settings blueprint. 2015-02-12 10:57:09 +00:00
settings_model.py Fix the gutter height of the editor when the parent is resized. 2015-02-13 13:13:36 +00:00
views.py Render settings related JS from the settings blueprint. 2015-02-12 10:57:09 +00:00