From: Ben Soares <bsoares@dundee.ac.uk>
Date: Tue, 19 Mar 2019 16:29:07 +0000 (+0000)
Subject: JAL-3141 patch for Backups preferences enable/disable widget fix
X-Git-Tag: Release_2_11_1_0~53^2~20^2~2
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=5e3d89b92147d9b077cc0f2f2d50717abb2d0370;p=jalview.git

JAL-3141 patch for Backups preferences enable/disable widget fix
---

diff --git a/src/jalview/jbgui/GPreferences.java b/src/jalview/jbgui/GPreferences.java
index 87cc87b..da13e9e 100755
--- a/src/jalview/jbgui/GPreferences.java
+++ b/src/jalview/jbgui/GPreferences.java
@@ -296,6 +296,8 @@ public class GPreferences extends JPanel
 
   protected JPanel presetsPanel = new JPanel();
 
+  protected JLabel presetsComboLabel = new JLabel();
+
   protected JButton revertButton = new JButton();
 
   protected JComboBox<IntKeyStringValueEntry> backupfilesPresetsCombo = new JComboBox<>();
@@ -1879,7 +1881,9 @@ public class GPreferences extends JPanel
     // "Scheme: "
     gbc.gridx = 0;
     gbc.gridy = 0;
-    presetsPanel.add(new JLabel(title + ":"), gbc);
+
+    presetsComboLabel = new JLabel(title + ":");
+    presetsPanel.add(presetsComboLabel, gbc);
 
     for (int i = 0; i < backupfilesPresetEntries.length; i++)
     {
@@ -2501,7 +2505,9 @@ public class GPreferences extends JPanel
   {
     boolean enabled = enableBackupFiles.isSelected();
     presetsPanel.setEnabled(enabled);
+    presetsComboLabel.setEnabled(enabled);
     backupfilesPresetsCombo.setEnabled(enabled);
+    revertButton.setEnabled(enabled);
   }
 
   protected void backupsOptionsSetEnabled()