From 344ef6df1f52d29e66dc6e04b81adb355790c952 Mon Sep 17 00:00:00 2001
From: hneemann <helmut.neemann@arcor.de>
Date: Tue, 23 Jul 2019 09:24:15 +0200
Subject: [PATCH] removes the tutorial setting from the settings dialog

---
 src/main/java/de/neemann/digital/gui/Settings.java | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/main/java/de/neemann/digital/gui/Settings.java b/src/main/java/de/neemann/digital/gui/Settings.java
index 5c5576327..28ac9bbb9 100644
--- a/src/main/java/de/neemann/digital/gui/Settings.java
+++ b/src/main/java/de/neemann/digital/gui/Settings.java
@@ -61,7 +61,6 @@ public final class Settings implements AttributeListener {
         intList.add(Keys.SETTINGS_TOOLCHAIN_CONFIG);
         intList.add(Keys.SETTINGS_FONT_SCALING);
         intList.add(Keys.SETTINGS_MAC_MOUSE);
-        intList.add(Keys.SETTINGS_SHOW_TUTORIAL);
 
         settingsKeys = Collections.unmodifiableList(intList);