Skip to content
GitLab
Explore
Sign in
GNOME
gedit
Repository
gedit
gedit
gedit-open-document-selector.c
Find file
Blame
History
Permalink
Fix open doc selector font size with text scaling
· be621916
Jürg Billeter
authored
Sep 22, 2016
https://bugzilla.gnome.org/show_bug.cgi?id=771167
be621916