evanhorn
(Eric Van Horn)
November 15, 2021, 1:21pm
1
I use JabRef on my laptop, and my theme preference depends on my location and/or time of day. I would like to be able to switch between the themes without having to restart JabRef.
Please vote if you support this proposal:
I would like to have this feature, too!
I don’t care.
Siedlerchr
(Christoph)
November 15, 2021, 3:17pm
2
Hi,
good news: We are working on it since a while already.
bad news: Does not yet work reliable/not yet completed:
See:
JabRef:main
← docrjp:fix-7335
opened 04:56PM - 12 Jan 21 UTC
This resolves enhancement #7335
Theme preferences can be changed without relo… ading. Supporting the enhancement is a refactoring of Theme which lays the groundwork for further enhancements #7322 and #7323.
This is a draft PR, for visibility and Continuous Integration purposes. Some code changes are outstanding:
- [X] Live reload when changing between light/dark/custom
- [x] Review live reloading for web engine (Preview Viewer)
- [x] If all live reloading is fully effective, remove reload warning
- [ ] Rework ThemeTest now that the Theme interface has changed for web engine stylesheets
- [ ] Review JavaDoc and comments to explain solution
- [ ] Summarise solution here to assist review
Followed by standard PR tasks:
- [ ] Change in CHANGELOG.md described (if applicable)
- [ ] Tests created for changes (if applicable)
- [ ] Manually tested changed features in running JabRef (always required)
- [ ] Screenshots added in PR description (for UI changes)
- [ ] [Checked documentation](https://docs.jabref.org/): Is the information available and up to date? If not created an issue at <https://github.com/JabRef/user-documentation/issues> or, even better, submitted a pull request to the documentation repository.