[GitHub] zeppelin pull request #1218: [Zeppelin-1213] Code Editor Configuration Perso...

[cloverhearts]

GitHub user cloverhearts opened a pull request:

    https://github.com/apache/zeppelin/pull/1218

    [Zeppelin-1213] Code Editor Configuration Personalization

    ### What is this PR for?
    Code Editor Configuration Personalization
    each user can apply to code editor setting.
    for example, editor theme, indent, font size, editor print margin...
    You can re-set for each interpreter tag.
    (E.g %spark -> font size, indent, theme)
    
    
    ### What type of PR is it?
    Feature
    
    ### Todos
    - [x] create to editor configuration setting page.
    - [x] added to theme
    - [x] added support language
    - [x] change to font size and indent theme 
    - [x] editor config serialize / deserialize 
    - [x] preview window.
    - [x] create and delete, and save.
    - [x] add web socket event for code editor setting.
    - [x] apply to setting for user custom interpreter tag
    - [x] if exists paragraph setting then priority set paragaraph setting 
(show line number setting)
    
    ### What is the Jira issue?
    https://issues.apache.org/jira/browse/ZEPPELIN-1213
    
    ### How should this be tested?
    1. click to user name menu in navbar and click to Editor Configuration menu.
    1. set up editor setting. (and using preview pargraph)
    1. click to save button.
    1. move to any paragraph.
    1. check to apply setting.
    1. check to exists conf/code-editor.json in zeppelin directory.
    
    ### Screenshots (if appropriate)
    
    <img width="1274" alt="setup" 
src="https://cloud.githubusercontent.com/assets/10525473/17056055/e56c1236-504b-11e6-803f-4223c813c99e.png";>
    
    
![2222](https://cloud.githubusercontent.com/assets/10525473/17055992/68b03ad8-504b-11e6-996e-55cfbd72d1b3.gif)
    
    ### Questions:
    * Does the licenses files need update? no
    * Is there breaking changes for older versions? no
    * Does this needs documentation? no


You can merge this pull request into a Git repository by running:

    $ git pull https://github.com/cloverhearts/zeppelin ZEPPELIN-1213

Alternatively you can review and apply these changes as the patch at:

    https://github.com/apache/zeppelin/pull/1218.patch

To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:

    This closes #1218
    
----
commit d351f747e06994185a92c34fc63e76b007fa537c
Author: CloverHearts <cloverhearts...@gmail.com>
Date:   2016-07-22T10:50:35Z

    Implement Backend for code editor configuration

commit ef09a05447467cff594b593111b8e68ff628fa81
Author: CloverHearts <cloverhearts...@gmail.com>
Date:   2016-07-22T11:00:17Z

    Implement frontend for code editor setting

----


---
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.
---