diff options
Diffstat (limited to 'tools/themeupdate')
| -rwxr-xr-x | tools/themeupdate/themeupdate.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/themeupdate/themeupdate.py b/tools/themeupdate/themeupdate.py index cbf43eae..08ddd0ed 100755 --- a/tools/themeupdate/themeupdate.py +++ b/tools/themeupdate/themeupdate.py @@ -176,6 +176,7 @@ def pixelsize(data): 'specified by pixelsize. It is recommended that you use ' 'pixelsize instead of pointsize for specifying theme ' 'fonts. e.g. "sans:pixelsize=12"\n') + global valid valid = False def warn_missing(data): |