equal
deleted
inserted
replaced
179 def ResetView(self): |
179 def ResetView(self): |
180 self.Rungs = [] |
180 self.Rungs = [] |
181 self.RungComments = [] |
181 self.RungComments = [] |
182 Viewer.ResetView(self) |
182 Viewer.ResetView(self) |
183 |
183 |
184 def RefreshView(self): |
184 def RefreshView(self, selection=None): |
185 Viewer.RefreshView(self) |
185 Viewer.RefreshView(self, selection) |
186 for i, rung in enumerate(self.Rungs): |
186 for i, rung in enumerate(self.Rungs): |
187 bbox = rung.GetBoundingBox() |
187 bbox = rung.GetBoundingBox() |
188 if i < len(self.RungComments): |
188 if i < len(self.RungComments): |
189 if self.RungComments[i]: |
189 if self.RungComments[i]: |
190 pos = self.RungComments[i].GetPosition() |
190 pos = self.RungComments[i].GetPosition() |