diff options
Diffstat (limited to 'data/generate-font-schemas.py')
| -rwxr-xr-x | data/generate-font-schemas.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/data/generate-font-schemas.py b/data/generate-font-schemas.py index fc7717f8a..0a53e3f41 100755 --- a/data/generate-font-schemas.py +++ b/data/generate-font-schemas.py @@ -60,7 +60,7 @@ def append_schemas(docNode, schemalistNode, group): "string", "monospace", "Monospace font", "Monospaced font for \"" + group + "\"") append_schema(doc, schemalistNode, base + "variable_font_size_" + group, - "int", "11", "Proportional font size", + "int", "10", "Proportional font size", "Variable width font size for \"" + group + "\"") append_schema(doc, schemalistNode, base + "font_variable_" + group, "string", "sans-serif", "Proportional font", |