From e7c9f2a10d2d700121595539f2d9385a5043d7fe Mon Sep 17 00:00:00 2001 From: Jim Procter Date: Tue, 2 Jul 2019 23:18:13 +0100 Subject: [PATCH] =?utf8?q?JAL-3111=20JAL-3280=20hide=20the=20version=20check?= =?utf8?q?=20preference=20option=20in=20=E2=80=98Connections=E2=80=99=20tab?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- src/jalview/jbgui/GPreferences.java | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/jalview/jbgui/GPreferences.java b/src/jalview/jbgui/GPreferences.java index 60bf1b7..9f98ffa 100755 --- a/src/jalview/jbgui/GPreferences.java +++ b/src/jalview/jbgui/GPreferences.java @@ -629,6 +629,8 @@ public class GPreferences extends JPanel GridBagConstraints.WEST, GridBagConstraints.HORIZONTAL, new Insets(0, 2, 5, 5), 70, 1)); + versioncheck.setVisible(false); + // Add padding so the panel doesn't look ridiculous JPanel spacePanel = new JPanel(); connectTab.add(spacePanel, -- 1.7.10.2