equal
deleted
inserted
replaced
357 self.Pos.y = round_scaling(self.Pos.y, scaling[1]) |
357 self.Pos.y = round_scaling(self.Pos.y, scaling[1]) |
358 width = round_scaling(width, scaling[0], 1) |
358 width = round_scaling(width, scaling[0], 1) |
359 height = round_scaling(height, scaling[1], 1) |
359 height = round_scaling(height, scaling[1], 1) |
360 self.SetSize(width, height) |
360 self.SetSize(width, height) |
361 return self.Pos.x - posx, self.Pos.y - posy |
361 return self.Pos.x - posx, self.Pos.y - posy |
362 |
|
363 # Refresh the element Bounding Box |
|
364 def RefreshBoundingBox(self): |
|
365 self.BoundingBox = wx.Rect(self.Pos.x, self.Pos.y, self.Size[0], self.Size[1]) |
|
366 |
362 |
367 # Refresh the element connectors position |
363 # Refresh the element connectors position |
368 def RefreshConnectors(self): |
364 def RefreshConnectors(self): |
369 pass |
365 pass |
370 |
366 |