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

Implement user configuration options #67

Open
dgets opened this issue Jun 23, 2018 · 0 comments
Open

Implement user configuration options #67

dgets opened this issue Jun 23, 2018 · 0 comments
Assignees
@dgets
Labels
enhancement
Milestone
additional featur...

Comments

@dgets
Copy link
Owner

dgets commented Jun 23, 2018

In working on issue #25, I realized that it'd be really handy right now to have the ability to save customization options. So, a very miniscule subset of what will probably end up being useful is now being implemented, in the places touched by commit e467d17.
@dgets dgets added this to the additional feature set milestone Jun 23, 2018
@dgets dgets self-assigned this Jun 23, 2018
dgets added a commit that referenced this issue Jun 30, 2018
@dgets
Getters/setters for #67, #69.
62acbd2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@dgets dgets

Labels
enhancement
Projects
None yet
Milestone
additional feature set
Development

No branches or pull requests
1 participant
@dgets