--- a/Viewer.py	Thu Jul 23 17:50:26 2009 +0200
+++ b/Viewer.py	Thu Jul 23 17:53:54 2009 +0200
@@ -617,7 +617,7 @@
     def RefreshScaling(self, refresh=True):
         properties = self.Controler.GetProjectProperties(self.Debug)
         scaling = properties["scaling"][self.CurrentLanguage]
-        if scaling != (0, 0):
+        if scaling[0] != 0 and scaling[1] != 0:
             self.Scaling = scaling
             if self.DrawGrid:
                 width = max(2, int(scaling[0] * self.ViewScale[0]))