Skip to content
GitLab
Explore
Sign in
GNOME
gnome-commander
Issues
#139
Device selector and command line widgets do not respect a theme anymore
Do they need?