Skip to content
This repository has been archived by the owner on Mar 13, 2018. It is now read-only.

Feature 52 + 42 #54

Merged
merged 3 commits into from
Sep 10, 2015
Merged

Feature 52 + 42 #54

merged 3 commits into from
Sep 10, 2015

Conversation

pierremtb
Copy link
Member

Add syntax highlighting theme chooser, and move settings to a tab page

pierremtb added a commit that referenced this pull request Sep 10, 2015
@pierremtb pierremtb merged commit c9d218b into master Sep 10, 2015
@timsueberkrueb timsueberkrueb deleted the feature-52 branch September 12, 2015 18:02
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant