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

..

addon/fold

Add editor options for plain text mode and to disable block folding to

2019-09-04 15:46:08 +01:00

extension

Update copyright notices for 2019

2019-01-02 15:54:12 +05:30