Gildas ede66962b3 created separated entry for "Fonts" in the options page il y a 7 ans
..
bg ede66962b3 created separated entry for "Fonts" in the options page il y a 7 ans
content 812500d5e9 renamed some option keys il y a 7 ans