From 81b09d8990366950da8e6e03b2fb9e5873c4feaf Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Sun, 14 Nov 2021 16:57:13 +0100
Subject: [PATCH] Update gui.js

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

diff --git a/src/gui.js b/src/gui.js
index c2f626da..9521c652 100644
--- a/src/gui.js
+++ b/src/gui.js
@@ -4241,8 +4241,8 @@ IDE_Morph.prototype.settingsMenu = function () {
             this.refreshIDE();
         },
         SpriteMorph.prototype.penColorModel === 'hsl',
-        'uncheck to switch pen colors\nand graphic effects\nto HSV',
-        'check to switch pen colors\nand graphic effects\n to HSL',
+        'uncheck to switch pen colors\nand graphic effects to HSV',
+        'check to switch pen colors\nand graphic effects to HSL',
         false
     );