tree e90e26ca0fdf6ff1c962a5fe4aa1fcd07783b6ce
parent e0a67217ae5359797570481cbb6e8aa1f5e0a7c3
author Paladox none <thomasmulhall410@yahoo.com> 1627864319 +0000
committer Paladox none <thomasmulhall410@yahoo.com> 1628033371 +0000

Improve performance in the editor

We stop setting viewportMargin and instead use the default value.

We also add support for the inbuilt search support within codemirror.
This is because with the removal of viewportMargin you cannot use
the browsers search to search for the code.

In my view i think this is a good trade off as you'll still be able to
search using the codemirror searching support whilst improving performance for large documents.

In GWTUI we didn't set viewportMargin.

Bug: Issue 14845
Change-Id: I84f12168c4784cf40ca102f025b7805b44bc9d9a