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