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

We're planning to switch to Furo as a base theme, which will provide a dark mode. #97

Closed
return42 opened this issue Apr 9, 2024 · 2 comments

Comments

@return42
Copy link

return42 commented Apr 9, 2024

We're planning to switch to Furo as a base theme, which will provide a dark mode.

Originally posted by @davidism in #48 (comment)

Any news? / why has the conversation of #48 been closed and locked as resolved?

@return42 return42 changed the title We're planning to switch to [Furo](https://pradyunsg.me/furo/) as a base theme, which will provide a dark mode. We're planning to switch to Furo as a base theme, which will provide a dark mode. Apr 9, 2024
@davidism
Copy link
Member

davidism commented Apr 9, 2024

Still the plan.

@davidism davidism closed this as completed Apr 9, 2024
@return42
Copy link
Author

return42 commented Apr 9, 2024

@davidism thanks for feedback .. sorry if I'm annoying :) the fact that PR #48 was closed leaves the impression that either the feature request has been fulfilled or is not planned. Wouldn't it be better to mark the feature request as such and leave it open? ATM the request is "closed and locked as resolved" .. which forced me to have to open a (superfluous) new issue for a status query.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Apr 24, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants