author | laurent |
Thu, 23 Jul 2009 17:53:54 +0200 | |
changeset 380 | 9ca678ee827f |
parent 379 | e4c26ee9c998 |
child 381 | 98890d848701 |
--- 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]))