JAL-3503 missed a widget being disabled

diff --git a/src/jalview/jbgui/GPreferences.java b/src/jalview/jbgui/GPreferences.java
index dce8c5e..2c6eb32 100755 (executable)
--- a/src/jalview/jbgui/GPreferences.java
+++ b/src/jalview/jbgui/GPreferences.java
@@ -2539,6 +2539,7 @@ public class GPreferences extends JPanel
     jvmMemoryPercentDisplay.setEnabled(enabled);
     jvmMemoryMaxLabel.setEnabled(enabled);
     jvmMemoryMaxTextField.setEnabled(enabled);
+    exampleMemoryMessageTextArea.setEnabled(enabled);
     setExampleMemoryLabel();
   }