From ad8056b442da5dde31fe226f415802e0b6e9d934 Mon Sep 17 00:00:00 2001
From: Manindra Moharana <mkmoharana29@gmail.com>
Date: Wed, 25 Jun 2014 16:41:58 +0530
Subject: [PATCH] Preferences updated

---
 app/src/processing/app/Preferences.java | 40 ++++++++++++++++++++++++-
 1 file changed, 39 insertions(+), 1 deletion(-)

diff --git a/app/src/processing/app/Preferences.java b/app/src/processing/app/Preferences.java
index 68f94d44b..5c8aba9f5 100644
--- a/app/src/processing/app/Preferences.java
+++ b/app/src/processing/app/Preferences.java
@@ -119,6 +119,11 @@ public class Preferences {
   JCheckBox inputMethodBox;
   JCheckBox autoAssociateBox;
   
+  JCheckBox errorCheckerBox;
+  JCheckBox warningsCheckerBox;
+  JCheckBox codeCompletionBox;
+  JCheckBox importSuggestionsBox;
+  
   //JRadioButton bitsThirtyTwoButton;
   //JRadioButton bitsSixtyFourButton;
   
@@ -392,6 +397,36 @@ public class Preferences {
     inputMethodBox.setBounds(left, top, d.width + 10, d.height);
     right = Math.max(right, left + d.width);
     top += d.height + GUI_BETWEEN;
+    
+    // [ ] Enable Error Checking - PDE X
+
+    errorCheckerBox =
+      new JCheckBox("Enable error checking");
+    pain.add(errorCheckerBox);
+    d = errorCheckerBox.getPreferredSize();
+    errorCheckerBox.setBounds(left, top, d.width + 10, d.height);
+    right = Math.max(right, left + d.width);
+    top += d.height + GUI_BETWEEN;
+
+    // [ ] Enable Warnings - PDE X
+
+    warningsCheckerBox =
+      new JCheckBox("Enable warnings");
+    pain.add(warningsCheckerBox);
+    d = warningsCheckerBox.getPreferredSize();
+    warningsCheckerBox.setBounds(left, top, d.width + 10, d.height);
+    right = Math.max(right, left + d.width);
+    top += d.height + GUI_BETWEEN;
+
+    // [ ] Enable Code Completion - PDE X
+
+    codeCompletionBox =
+      new JCheckBox("Enable code completion");
+    pain.add(codeCompletionBox);
+    d = codeCompletionBox.getPreferredSize();
+    codeCompletionBox.setBounds(left, top, d.width + 10, d.height);
+    right = Math.max(right, left + d.width);
+    top += d.height + GUI_BETWEEN;
 
 
     // [ ] Increase maximum available memory to [______] MB
@@ -794,13 +829,16 @@ public class Preferences {
     for (Editor editor : base.getEditors()) {
       editor.applyPreferences();
     }
+    
   }
 
 
   protected void showFrame() {
     editorAntialiasBox.setSelected(getBoolean("editor.smooth")); //$NON-NLS-1$
     inputMethodBox.setSelected(getBoolean("editor.input_method_support")); //$NON-NLS-1$
-
+    errorCheckerBox.setSelected(getBoolean("pdex.errorCheckEnabled"));
+    warningsCheckerBox.setSelected(getBoolean("pdex.warningsEnabled"));
+    codeCompletionBox.setSelected(getBoolean("pdex.ccEnabled"));
     // set all settings entry boxes to their actual status
 //    exportSeparateBox.
 //      setSelected(getBoolean("export.applet.separate_jar_files"));