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
Files
358c5d0a0f839ae08d9bb1fab75b8db6edf0079e
pgadmin4/docs/en_US/images/preferences_sql_results_grid.png
Aditya Toshniwal 1c2ba72f02 Add editor options for plain text mode and to disable block folding to 
workaround rendering speed issues in CodeMirror with very large scripts.
Fixes #4631.

Re-arrange editor options in the Preferences dialogue to tidy things up.
2019-09-04 15:46:08 +01:00

75 KiB
825x503px
Raw History

/IntenseWebs/pgadmin4/raw/commit/358c5d0a0f839ae08d9bb1fab75b8db6edf0079e/docs/en_US/images/preferences_sql_results_grid.png