From 5e3d89b92147d9b077cc0f2f2d50717abb2d0370 Mon Sep 17 00:00:00 2001 From: Ben Soares Date: Tue, 19 Mar 2019 16:29:07 +0000 Subject: [PATCH] JAL-3141 patch for Backups preferences enable/disable widget fix --- src/jalview/jbgui/GPreferences.java | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) 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 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() -- 1.7.10.2