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