Remove duplicate code in Preferences

carnifexx · Aug 21, 2019 · 710667d · 710667d
1 parent 2b4c4b5
commit 710667d
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/app/src/cc/arduino/view/preferences/Preferences.java b/app/src/cc/arduino/view/preferences/Preferences.java
@@ -831,8 +831,6 @@ private void savePreferencesData() {
 
     PreferencesData.setBoolean("update.check", checkUpdatesBox.isSelected());
 
-    PreferencesData.setBoolean("editor.save_on_verify", saveVerifyUploadBox.isSelected());
-
     PreferencesData.setBoolean("ide.accessible", accessibleIDEBox.isSelected());
 
     PreferencesData.set("boardsmanager.additional.urls", additionalBoardsManagerField.getText().replace("\r\n", "\n").replace("\r", "\n").replace("\n", ","));