Allow switching theme #3

Open

Labels

Milestone

opened

on Oct 19, 2015

Right now, monokai only

Metadata

Assignees

No one assigned

Labels

Projects

No projects

Milestone

2.0No due date

Relationships

None yet

Development

No branches or pull requests