Slightly increase the font size for the key labels
It was 10, it is 12 now https://bugzilla.gnome.org/show_bug.cgi?id=642903
parent
a346f4f6
Please register or sign in to comment
It was 10, it is 12 now https://bugzilla.gnome.org/show_bug.cgi?id=642903