migrated turtle rotation center options

pull/95/head
jmoenig 2020-04-05 23:27:22 +02:00
rodzic b9ca2ad9ba
commit d9fc87d347
1 zmienionych plików z 4 dodań i 4 usunięć

Wyświetl plik

@ -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;