diff options
| author | Dana Jansens <danakj@orodu.net> | 2003-09-01 09:17:19 +0000 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2003-09-01 09:17:19 +0000 |
| commit | b90b0beaf930deb96e47eddab7b971d686052ea1 (patch) | |
| tree | 2f9ae6ada285b9e807f199983b912b64d7cdf346 | |
| parent | 3cdf906f5f65561272d448cfa2372ad9793f7760 (diff) | |
global valid
| -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): |