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

Add a themes dialog and editor #985

Open
vkbo opened this issue Feb 6, 2022 · 0 comments
Open

Add a themes dialog and editor #985

vkbo opened this issue Feb 6, 2022 · 0 comments
Assignees
@vkbo
Labels
enhancement Request: New feature or improvement planned Note: Feature planned for a later release user interface Component: General user interface
Milestone
Future Release

Comments

@vkbo
Copy link
Owner

vkbo commented Feb 6, 2022

This is a split from #892.

the option to add custom themes has already been implemented, and added to the documentation. It still involves manually editing a file, but is otherwise straightforward. See issue #892.

The colour themes should be managed in a separate GUI dialog where the user could also edit the theme colours directly. It is not a very complicated dialog to make.
@vkbo vkbo added enhancement Request: New feature or improvement user interface Component: General user interface labels Feb 6, 2022
@vkbo vkbo added this to the Future Release milestone Feb 6, 2022
@vkbo vkbo self-assigned this Feb 6, 2022
@vkbo vkbo mentioned this issue Feb 6, 2022
Closed
@vkbo vkbo added the planned Note: Feature planned for a later release label May 7, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@vkbo vkbo

Labels
enhancement Request: New feature or improvement planned Note: Feature planned for a later release user interface Component: General user interface
Projects
None yet
Milestone
Future Release
Development

No branches or pull requests
1 participant
@vkbo