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

Create a new theme file format and common API. #19

Closed

Tracked by

gaeqs opened this issue Aug 22, 2021 · 1 comment · Fixed by #18

Closed

Tracked by

Create a new theme file format and common API. #19

gaeqs opened this issue Aug 22, 2021 · 1 comment · Fixed by #18

Assignees

Labels

Owner

gaeqs commented Aug 22, 2021

No description provided.

gaeqs mentioned this issue

Themes revamp. #14

Closed

3 tasks

gaeqs linked a pull request

that will close this issue

Theme API revamp PR. #18

Merged

Owner Author

gaeqs commented Aug 22, 2021

The new theme API if finished. A manager API overhaul is required if we want plugins to use it.

gaeqs mentioned this issue

Theme API revamp PR. #18

Merged

gaeqs added the enhancement label

gaeqs self-assigned this

gaeqs closed this as completed in #18

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment