diff --git a/app/src/cc/arduino/view/preferences/Preferences.java b/app/src/cc/arduino/view/preferences/Preferences.java index 9f27c7f4b..2ea7c0295 100644 --- a/app/src/cc/arduino/view/preferences/Preferences.java +++ b/app/src/cc/arduino/view/preferences/Preferences.java @@ -254,6 +254,7 @@ public class Preferences extends javax.swing.JDialog { tr("Can't enable external editor"), JOptionPane.INFORMATION_MESSAGE); externalEditorBox.setSelected(false); + return; } } }