pgAdmin 4 commit: Add editor options for plain text mode and to disable - Mailing list pgadmin-hackers

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(-)