Github user cloverhearts commented on the issue:
https://github.com/apache/zeppelin/pull/1218
Thank you for feedback @corneadoug .
I can possible divide to this pr.
and I have a question.
```
I also have issues with the fact that every Theme from Ace is included.
```
Can you give me an explanation why that is a problem?
If you have a problem, I need to clear a part of the theme changes.
a very easy fix.
I thought that people would want to coding in a theme familiar to them.
Once again thank you for your message.
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at infrastruct...@apache.org or file a JIRA ticket
with INFRA.
---
