Actions
Feature #351
closedConsider renaming `Default Font Size` to `Font Size`
Start date:
11/30/2018
Due date:
% Done:
0%
Estimated time:
Description
Naming it `Default Font Size` in the settings is kind of redundant.
Actions
Added by Soren Stoutner about 6 years ago. Updated almost 6 years ago.
0%
Description
Naming it `Default Font Size` in the settings is kind of redundant.