From 7d1ee09a4ebf9afe2bb5f9fdb4324fe9e496f0aa Mon Sep 17 00:00:00 2001
From: Manindra Moharana <mkmoharana29@gmail.com>
Date: Tue, 17 Sep 2013 04:54:58 +0530
Subject: [PATCH] save preferences everytime

---
 pdex/src/processing/mode/experimental/DebugEditor.java | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/pdex/src/processing/mode/experimental/DebugEditor.java b/pdex/src/processing/mode/experimental/DebugEditor.java
index af738e75e..ead797567 100755
--- a/pdex/src/processing/mode/experimental/DebugEditor.java
+++ b/pdex/src/processing/mode/experimental/DebugEditor.java
@@ -326,7 +326,6 @@ public class DebugEditor extends JavaEditor implements ActionListener {
     
     // Added temporarily to dump error log. TODO: Remove this later
     public void internalCloseRunner(){      
-      dmode.savePreferences();
       if(ExperimentalMode.errorLogsEnabled) writeErrorsToFile();
       super.internalCloseRunner();
     }
@@ -530,6 +529,7 @@ public class DebugEditor extends JavaEditor implements ActionListener {
           public void actionPerformed(ActionEvent e) {
             ExperimentalMode.errorCheckEnabled = ((JCheckBoxMenuItem) e.getSource()).isSelected();
             errorCheckerService.handleErrorCheckingToggle();
+            dmode.savePreferences();
           }
         });
         debugMenu.add(item);
@@ -561,6 +561,7 @@ public class DebugEditor extends JavaEditor implements ActionListener {
             ExperimentalMode.warningsEnabled = ((JCheckBoxMenuItem) e
                 .getSource()).isSelected();
             errorCheckerService.runManualErrorCheck();
+            dmode.savePreferences();
           }
         });
         debugMenu.add(showWarnings);
@@ -572,6 +573,7 @@ public class DebugEditor extends JavaEditor implements ActionListener {
           public void actionPerformed(ActionEvent e) {
               ExperimentalMode.codeCompletionsEnabled = (((JCheckBoxMenuItem) e
                   .getSource()).isSelected());
+              dmode.savePreferences();
           }
         });
         debugMenu.add(completionsEnabled);
@@ -583,6 +585,7 @@ public class DebugEditor extends JavaEditor implements ActionListener {
           public void actionPerformed(ActionEvent e) {
             ExperimentalMode.DEBUG = ((JCheckBoxMenuItem) e
                 .getSource()).isSelected();
+            dmode.savePreferences();
           }
         });
         debugMenu.add(debugMessagesEnabled);     
@@ -598,6 +601,7 @@ public class DebugEditor extends JavaEditor implements ActionListener {
           public void actionPerformed(ActionEvent e) {
             ExperimentalMode.errorLogsEnabled = ((JCheckBoxMenuItem) e
                 .getSource()).isSelected();
+            dmode.savePreferences();
           }
         });
         debugMenu.add(writeErrorLog);