Skip to content
GitLab
Explore
Sign in
GNOME
gnome-text-editor
Issues
#9
Improve dark mode menu item
Doing it like this, rather than with a checkbox, could be nicer?