Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

#31 : Alternate editor color schemes #42

Merged
merged 2 commits into from Apr 17, 2012
Merged

#31 : Alternate editor color schemes #42

merged 2 commits into from Apr 17, 2012

Commits on Feb 24, 2012

  1. Add basic editor theme support 

    This commit need some cleanup and a proper alternate
theme, preference storage and javascript cleanup is needed too.
    @aegypius
    aegypius committed Feb 24, 2012
    Copy the full SHA
    55631e8 View commit details
    Browse the repository at this point in the history

Commits on Feb 25, 2012

  1. Store preferences in a cookie, code cleanup 

    - Add jquery.cookie.js to store a preference cookie for 30 days (a .niderc
  maybe a proper solution to store user preferences);
- Create a dialog.html file to avoid html within javascript
- Update styles with dialog related properties
- Update CodeEditor.js to use our stored value when creating new editors
    @aegypius
    aegypius committed Feb 25, 2012
    Copy the full SHA
    2114483 View commit details
    Browse the repository at this point in the history