This website requires JavaScript.
Explore
Help
Sign In
IntenseWebs
/
pgadmin4
Watch
3
Star
0
Fork
0
You've already forked pgadmin4
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
Files
567c567351cf3f0aa9d2d107ccfb3d844f10b2a9
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