TheCloud/Digital
1
0
Fork 0
mirror of https://github.com/hneemann/Digital.git synced 2025-09-16 00:15:01 -04:00
Code Issues Packages Projects Releases Wiki Activity

removes the tutorial setting from the settings dialog

Browse Source
This commit is contained in:
hneemann 2019-07-23 09:24:15 +02:00
parent 77d81c5d8f
commit 344ef6df1f
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/main/java/de/neemann/digital/gui/Settings.java
View File

@ -61,7 +61,6 @@ public final class Settings implements AttributeListener {
intList.add(Keys.SETTINGS_TOOLCHAIN_CONFIG); intList.add(Keys.SETTINGS_TOOLCHAIN_CONFIG);
intList.add(Keys.SETTINGS_FONT_SCALING); intList.add(Keys.SETTINGS_FONT_SCALING);
intList.add(Keys.SETTINGS_MAC_MOUSE); intList.add(Keys.SETTINGS_MAC_MOUSE);
intList.add(Keys.SETTINGS_SHOW_TUTORIAL);
settingsKeys = Collections.unmodifiableList(intList); settingsKeys = Collections.unmodifiableList(intList);