GitHub user cloverhearts reopened a pull request:
https://github.com/apache/zeppelin/pull/1692
[ZEPPELIN-1710 - WIP] Ace Editor upgrade
### What is this PR for?
The current version of the ace editor is too old.
You should also fix a bug that improperly typed non-English
GitHub user cloverhearts opened a pull request:
https://github.com/apache/zeppelin/pull/1692
[ZEPPELIN-1710 - WIP] Ace Editor upgrade
### What is this PR for?
The current version of the ace editor is too old.
You should also fix a bug that improperly typed non-English typing