From 6a6b96870079d6fe476a38823030df8a15e6032a Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Wed, 27 May 2020 16:11:39 +0200
Subject: [PATCH] replaced rotation style buttons with new symbols

---
 src/gui.js | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/gui.js b/src/gui.js
index 82fc954f..192c502e 100644
--- a/src/gui.js
+++ b/src/gui.js
@@ -1313,7 +1313,11 @@ IDE_Morph.prototype.createSpriteBar = function () {
         tabColors = this.tabColors,
         tabBar = new AlignmentMorph('row', -tabCorner * 2),
         tab,
-        symbols = ['\u2192', '\u21BB', '\u2194'],
+        symbols = [
+            new SymbolMorph('arrowRightThin', 10),
+            new SymbolMorph('turnAround', 10),
+            new SymbolMorph('arrowLeftRightThin', 10),
+        ],
         labels = ['don\'t rotate', 'can rotate', 'only face left/right'],
         myself = this;