graphics/GraphicCommons.py
changeset 175 cc78572dfbbc
parent 165 e464a4e4e06d
child 180 3b0d3ea35ee5
--- a/graphics/GraphicCommons.py	Tue Feb 26 15:41:18 2008 +0100
+++ b/graphics/GraphicCommons.py	Wed Feb 27 11:12:28 2008 +0100
@@ -518,10 +518,12 @@
         self.SetSize(width, height)
     
     # Refreshes the element state according to move defined and handle selected
-    def ProcessDragging(self, movex, movey, centered, scaling):
+    def ProcessDragging(self, movex, movey, centered, scaling, width_fac = 1, height_fac = 1):
         handle_type, handle = self.Handle
         # If it is a resize handle, calculate the values from resizing
         if handle_type == HANDLE_RESIZE:
+            if scaling is not None:
+                scaling = (scaling[0] * width_fac, scaling[1] * height_fac)
             x = y = start_x = start_y = 0
             width, height = start_width, start_height = self.GetSize()
             if handle[0] == 1: