diff options
Diffstat (limited to 'gui/themes/default.inc')
| -rw-r--r-- | gui/themes/default.inc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gui/themes/default.inc b/gui/themes/default.inc index 1e1a495585..363ab0bbe2 100644 --- a/gui/themes/default.inc +++ b/gui/themes/default.inc @@ -177,7 +177,7 @@ "<widget name='grFullscreenCheckbox' " "type='Checkbox' " "/> " -"<widget name='grUnditherCheckbox' " +"<widget name='grDisableDitheringCheckbox' " "type='Checkbox' " "/> " "</layout> " @@ -972,7 +972,7 @@ "<widget name='grFullscreenCheckbox' " "type='Checkbox' " "/> " -"<widget name='grUnditherCheckbox' " +"<widget name='grDisableDitheringCheckbox' " "type='Checkbox' " "/> " "</layout> " |