more checks, for pixelsize fonts
authorDana Jansens <danakj@orodu.net>
Mon, 1 Sep 2003 09:16:08 +0000 (09:16 +0000)
committerDana Jansens <danakj@orodu.net>
Mon, 1 Sep 2003 09:16:08 +0000 (09:16 +0000)
commit3cdf906f5f65561272d448cfa2372ad9793f7760
tree9a6eb2a58abc85dc389a24286b8e923e28560f8e
parenta32fffbb6c082c1bed25514f60caca40bab14a0e
more checks, for pixelsize fonts
tools/themeupdate/themeupdate.py