# HG changeset patch # User laurent # Date 1248364434 -7200 # Node ID 9ca678ee827ffe56cb606853f12857032c459d1d # Parent e4c26ee9c998ee5bf23c5e39bad10beddefcdf01 Bug with scaling when one dimension not defined fixed diff -r e4c26ee9c998 -r 9ca678ee827f Viewer.py --- 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]))