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-11-02 20:30:17 -06:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
5b231ddd3f7aca5d6e7c03c21e7e1bc94b8c3b03
pgadmin4
/
docs
/
en_US
/
images
/
preferences_sql_display.png
T
Pravesh Sharma
62eb330423
Introduced an ‘Editor’ preferences category and migrated all editor related settings into it.
#8861
2025-07-28 14:09:16 +05:30
117 KiB
950x650px
Raw
History
Reference in new issue
View Git Blame
Copy Permalink