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

Theming support #50

Open
hoersamu opened this issue Aug 21, 2021 · 4 comments
Open

Theming support #50

hoersamu opened this issue Aug 21, 2021 · 4 comments
Assignees
@twihno
Labels
enhancement New feature or request
Milestone
Release 1.0.0

Comments

@hoersamu
Copy link
Member

You know what to do
@hoersamu hoersamu added the enhancement New feature or request label Aug 21, 2021
@hoersamu hoersamu added this to the Release 1.0.0 milestone Aug 21, 2021
@twihno
Copy link
Member

twihno commented Aug 21, 2021 •
edited by adreuter
Loading

  • Light mode
  • Dark mode
  • Midnight mode
  • Settings UI

@hoersamu hoersamu changed the title Darkmode Different Modes Aug 21, 2021
@hoersamu hoersamu changed the title Different Modes Theming support Sep 1, 2021
@hoersamu
Copy link
Member Author

hoersamu commented Sep 1, 2021 •
edited
Loading

New variables:

  • Slab Colors:
    • Blue
    • Red
    • Green
    • Yellow
  • Gameboard
    • Background (default background?)
    • Grid color (default font color?)
      @twihno

@twihno twihno mentioned this issue Sep 1, 2021
Closed
@twihno
Copy link
Member

twihno commented Sep 19, 2021

  • Code highlighting

https://codemirror.net/6/docs/ref/#highlight.classHighlightStyle

@twihno
Copy link
Member

twihno commented Sep 21, 2021

Depends on #183

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

@twihno twihno

Labels
enhancement New feature or request
Projects
None yet
Milestone
Release 1.0.0
Development

No branches or pull requests
2 participants
@hoersamu @twihno