[UX] creoptions: add more margin values

Fixes #4684.
This commit is contained in:
Frans de Jonge
2019-03-01 12:55:55 +01:00
parent 1e4469fec2
commit 1d1dc74290
4 changed files with 39 additions and 2 deletions

View File

@@ -63,6 +63,11 @@ read_globals = {
"DCREREADER_CONFIG_MARGIN_SIZES_SMALL",
"DCREREADER_CONFIG_MARGIN_SIZES_MEDIUM",
"DCREREADER_CONFIG_MARGIN_SIZES_LARGE",
"DCREREADER_CONFIG_MARGIN_SIZES_X_LARGE",
"DCREREADER_CONFIG_MARGIN_SIZES_XX_LARGE",
"DCREREADER_CONFIG_MARGIN_SIZES_XXX_LARGE",
"DCREREADER_CONFIG_MARGIN_SIZES_HUGE",
"DCREREADER_CONFIG_MARGIN_SIZES_X_HUGE",
"DCREREADER_CONFIG_LIGHTER_FONT_GAMMA",
"DCREREADER_CONFIG_DEFAULT_FONT_GAMMA",
"DCREREADER_CONFIG_DARKER_FONT_GAMMA",