From d9fc87d3476aa2c11ecc7356b539e91601209390 Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Sun, 5 Apr 2020 23:27:22 +0200
Subject: [PATCH] migrated turtle rotation center options

---
 src/gui.js | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/gui.js b/src/gui.js
index 1dbe6fbd..55cb8435 100644
--- a/src/gui.js
+++ b/src/gui.js
@@ -8842,8 +8842,8 @@ TurtleIconMorph.prototype.userMenu = function () {
         function () {
             myself.object.penPoint = 'tip';
             myself.object.changed();
-            myself.object.drawNew();
-            myself.object.changed();
+            myself.object.fixLayout();
+            myself.object.rerender();
         }
     );
     menu.addItem(
@@ -8853,8 +8853,8 @@ TurtleIconMorph.prototype.userMenu = function () {
         function () {
             myself.object.penPoint = 'middle';
             myself.object.changed();
-            myself.object.drawNew();
-            myself.object.changed();
+            myself.object.fixLayout();
+            myself.object.rerender();
         }
     );
     return menu;