Thread: pgAdmin 4 commit: Add editor options for plain text mode and to disable
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. Branch ------ master Details ------- https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=1c2ba72f02cbcd77c224dc4d8e1b894d1ee2071f Author: Aditya Toshniwal <aditya.toshniwal@enterprisedb.com> Modified Files -------------- .../images/preferences_sql_auto_completion.png | Bin 61789 -> 81322 bytes docs/en_US/images/preferences_sql_csv_output.png | Bin 80860 -> 102587 bytes docs/en_US/images/preferences_sql_display.png | Bin 119186 -> 144123 bytes docs/en_US/images/preferences_sql_editor.png | Bin 0 -> 187992 bytes docs/en_US/images/preferences_sql_explain.png | Bin 59844 -> 87439 bytes .../images/preferences_sql_keyboard_shortcuts.png | Bin 87211 -> 106337 bytes docs/en_US/images/preferences_sql_options.png | Bin 135446 -> 146312 bytes docs/en_US/images/preferences_sql_results_grid.png | Bin 60244 -> 77124 bytes docs/en_US/preferences.rst | 49 +- docs/en_US/release_notes_4_13.rst | 1 + .../codemirror/addon/fold/pgadmin-sqlfoldcode.js | 54 +-- .../static/js/sqleditor/query_tool_preferences.js | 9 + web/pgadmin/tools/debugger/static/js/direct.js | 9 +- web/pgadmin/tools/sqleditor/static/js/sqleditor.js | 9 +- .../sqleditor/utils/query_tool_preferences.py | 96 ++-- web/yarn.lock | 495 +++++++++++---------- 16 files changed, 375 insertions(+), 347 deletions(-)