windowManager.js: Remove some unnecessary code.

mtwebster · mtwebster · commit 990b582123fd · 2023-01-13T11:26:15.000-05:00
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
@@ -949,8 +949,6 @@ var WindowManager = class WindowManager {
             actor.set_pivot_point(0, 0);
             actor.scale_y = 1;
             actor.scale_x = 1;
-            actor.translation_y = 0;
-            actor.translation_x = 0;
             cinnamonwm.completed_map(actor);
         }
     }

Original file line number	Diff line number	Diff line change
`@@ -949,8 +949,6 @@ var WindowManager = class WindowManager {`
`949`	`949`	`actor.set_pivot_point(0, 0);`
`950`	`950`	`actor.scale_y = 1;`
`951`	`951`	`actor.scale_x = 1;`
`952`		`- actor.translation_y = 0;`
`953`		`- actor.translation_x = 0;`
`954`	`952`	`cinnamonwm.completed_map(actor);`
`955`	`953`	`}`
`956`	`954`	`}`