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