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

Create new Appearance Plugin using new API #12798

Closed
2 tasks
goanpeca opened this issue May 19, 2020 · 0 comments · Fixed by #12793
Closed
2 tasks

Create new Appearance Plugin using new API #12798

goanpeca opened this issue May 19, 2020 · 0 comments · Fixed by #12793
Assignees
@goanpeca
Labels
type:Enhancement
Projects
v5.0alpha1
Milestone
Sprint July

Comments

@goanpeca
Copy link
Member

  • Move the appearance preferences to a separate plugin.
  • Provide API for theme and icon extension
@goanpeca goanpeca changed the title Create new Appearance Plugin Create new Appearance Plugin using new API May 19, 2020
@goanpeca goanpeca self-assigned this May 19, 2020
@goanpeca goanpeca added this to the Sprint May milestone May 19, 2020
@ccordoba12 ccordoba12 modified the milestones: Sprint May, Sprint June Jun 1, 2020
@goanpeca goanpeca mentioned this issue Jun 25, 2020
Merged
3 tasks
@ccordoba12 ccordoba12 modified the milestones: Sprint June, Sprint July Jul 2, 2020
@ccordoba12 ccordoba12 added this to Release in v5.0alpha1 Aug 5, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@goanpeca goanpeca

Labels
type:Enhancement
Projects
No open projects
v5.0alpha1
Release
Milestone
Sprint July
Development

Successfully merging a pull request may close this issue.

PR: Create a new Appearance plugin goanpeca/spyder
2 participants
@ccordoba12 @goanpeca