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

[WIP] Support for Theming #265

Merged
merged 20 commits into from
Dec 28, 2015
Merged

[WIP] Support for Theming #265

merged 20 commits into from
Dec 28, 2015

Conversation

cloose
Copy link
Owner

@cloose cloose commented Dec 9, 2015

Load themes from JSON file instead of hardcoding them. This should be the start to add custom themes.

Replaces PR #190

A theme represents the combination of markdown, code and preview styles.
@cloose cloose self-assigned this Dec 9, 2015
@cloose cloose added this to the v0.12.0 milestone Dec 9, 2015
cloose added 19 commits December 9, 2015 11:42
A collection of themes that can be loaded from a JSON file.
Add JsonThemeTranslator class to translate between JSON and Theme
objects.
Add methods to retrieve a theme by name or the names of all themes to
the ThemeCollection class.
It manages a theme collection and the association to the builtin
markdown, code and preview styles
Remove the specific style actions from the main window and use the
ThemeManager instead to fill the Styles submenu.

Also rename option lastUsedStyle to lastUsedTheme.
* Remove theme collection management from ThemeManager
* Rename ThemeManager to StyleManager.
  The class is now responsible for mapping style names in themes
  to paths to style file.
@cloose cloose merged commit 2a53e01 into develop Dec 28, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant