Skip to content
GitLab
Explore
Sign in
GNOME
meld
Repository
meld
meld
settings.py
Find file
Blame
History
Permalink
Refresh highlighting theme when dark theme preference changes (
#769
)
· dbbbdd57
Kai Willadsen
authored
Jun 06, 2023
dbbbdd57