This website requires JavaScript.
Explore
Help
Sign In
IntenseWebs
/
pgadmin4
Watch
3
Star
0
Fork
0
mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced
2026-09-03 20:52:57 -05:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
a0a15fa64392b3009dafb79f960630e4b50ad08b
pgadmin4
/
docs
/
en_US
/
images
/
trigger_general.png
T
Akshay Joshi
537c27a58e
Use the full tab space for CodeMirror instances on dialogues where appropriate.
Fixes
#4540
2019-08-02 10:25:21 +01:00
43 KiB
490x537px
Raw
History
Reference in New Issue
View Git Blame
Copy Permalink
