workaround rendering speed issues in CodeMirror with very large scripts. Fixes #4631. Re-arrange editor options in the Preferences dialogue to tidy things up. |
||
---|---|---|
.. | ||
history | ||
calculate_query_run_time.js | ||
call_render_after_poll.js | ||
execute_query.js | ||
filter_dialog.js | ||
filter_dialog_model.js | ||
geometry_viewer.js | ||
query_tool_actions.js | ||
query_tool_http_error_handler.js | ||
query_tool_notifications.js | ||
query_tool_preferences.js |