Gildas ede66962b3 created separated entry for "Fonts" in the options page 7 years ago
..
bg ede66962b3 created separated entry for "Fonts" in the options page 7 years ago
content 812500d5e9 renamed some option keys 7 years ago