[GitHub] zeppelin pull request #1692: [ZEPPELIN-1710 - WIP] Ace Editor upgrade

2016-11-28 Thread cloverhearts
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] zeppelin pull request #1692: [ZEPPELIN-1710 - WIP] Ace Editor upgrade

2016-11-27 Thread cloverhearts
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