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.

Sign up for GitHub

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

Preference page for color settings #12

Closed
Arnauld opened this issue Dec 29, 2011 · 1 comment
Closed

Preference page for color settings #12

Arnauld opened this issue Dec 29, 2011 · 1 comment
Assignees
@Arnauld
Labels
new-feature priority-high
Milestone
Christmas 2011 & ...

Comments

@Arnauld
Copy link
Owner

Arnauld commented Dec 29, 2011

In order to customize editor,
As a user,
I want to have an preference page
So that i could define my own color settings or select one of the predefined theme.
@Arnauld
Copy link
Owner Author

Arnauld commented Jan 2, 2012

Fixed in master branch
Available on next christmas 2011 release: 1.0.4

@Arnauld Arnauld closed this as completed Jan 2, 2012
@ghost ghost assigned Arnauld Jan 2, 2012
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Arnauld Arnauld

Labels
new-feature priority-high
Projects
None yet
Milestone
Christmas 2011 & Happy new year! - 1.0.4
Development

No branches or pull requests
1 participant
@Arnauld