Rotate the arrow icon smoothly

diff --git a/net/systemeD/potlatch2/Toolbox.mxml b/net/systemeD/potlatch2/Toolbox.mxml
index 38a4fc893d3c61c16359533fb404fa4bac00bf51..06579762bf6a6349d47599daeefb4f3115f1f0ef 100644 (file)
--- a/net/systemeD/potlatch2/Toolbox.mxml
+++ b/net/systemeD/potlatch2/Toolbox.mxml
@@ -190,6 +190,7 @@
                     } else {
                         rotateButtonStack.selectedChild = arrowBoxWrapper;
                         arrow.iconDisplay.rotation=w.angle;
+                                               arrow.iconDisplay.smooth=true;
                     }
                 }
             }