#398 Added rotation animation. Changed rotation direction.

core/src/cz/nic/tablexia/util/listener/DragAndRotateActorListener.java

@@ -164,8 +164,9 @@ public class DragAndRotateActorListener extends InputListener {
                 if (tapped) {
                     if (lastTouch != null) {
                         if (tempTouch.isDoubleTap(lastTouch)) {
-                            lastTouch.getTouchedActor().rotateBy(90);
-                            rotated((lastTouch.getTouchedActor().getRotation() + 90), lastTouch.getTouchedActor());
+                            Actor actorToRotate = lastTouch.getTouchedActor();
+                            actorToRotate.addAction(Actions.rotateTo(actorToRotate.getRotation()-90, 0.5f));
+                            rotated(actorToRotate.getRotation() - 90, actorToRotate);
                         } else {
                             lastTouch = new Touch(draggedActor, (tempTouch.getTime() + newTouch.getTime()) / 2); //not double - save least touch
                         }