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
dc801e362ebde7fe59ecf77eaaab740fe7452cc5
pgadmin4
/
docs
/
en_US
/
images
/
preferences_sql_results_grid.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
179 KiB
950x650px
Raw
History
Reference in new issue
View Git Blame
Copy Permalink
