--- a/ImageEditView.st	Tue Aug 29 22:37:19 2017 +0200
+++ b/ImageEditView.st	Wed Aug 30 15:41:52 2017 +0200
@@ -1560,6 +1560,12 @@
     self newImageWithUndo: (image magnifiedBy: newSize/image extent).
 !
 
+magnifySmoothingBy:scale
+    self newImageWithUndo: (image hardSmoothingMagnifiedBy:scale).
+
+    "Created: / 30-08-2017 / 15:35:15 / cg"
+!
+
 makeNewColorMapByMapping:functionOfColor
     |xMax yMax map revMap anyChange
      newColors newColorArray newImage pixelAction|