From cbfda53bd96f0e5104a3fe092cfeb69e9eb082d8 Mon Sep 17 00:00:00 2001
From: aengelke <aengelke@users.noreply.github.com>
Date: Sat, 2 Aug 2014 18:41:10 +0200
Subject: [PATCH] Disable memory field if the box is unchecked

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

diff --git a/app/src/processing/app/Preferences.java b/app/src/processing/app/Preferences.java
index bd8c12204..1a79bb0ce 100644
--- a/app/src/processing/app/Preferences.java
+++ b/app/src/processing/app/Preferences.java
@@ -570,6 +570,12 @@ public class Preferences {
     memoryOverrideBox = new JCheckBox(Language.text("preferences.increase_max_memory")+": ");
     memoryBox.add(memoryOverrideBox);
     memoryField = new JTextField(4);
+    memoryOverrideBox.addChangeListener(new ChangeListener() {
+      @Override
+      public void stateChanged(ChangeEvent e) {
+        memoryField.setEnabled(memoryOverrideBox.isSelected());
+      }
+    });
     memoryBox.add(memoryField);
     memoryBox.add(new JLabel(" MB"));
     pain.add(memoryBox);
@@ -936,6 +942,7 @@ public class Preferences {
       setSelected(getBoolean("run.options.memory")); //$NON-NLS-1$
     memoryField.
       setText(get("run.options.memory.maximum")); //$NON-NLS-1$
+    memoryField.setEnabled(memoryOverrideBox.isSelected());
 
     if (autoAssociateBox != null) {
       autoAssociateBox.