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.toshni...@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(-)
