From: Jim Procter <jprocter@issues.jalview.org>
Date: Tue, 2 Jul 2019 22:18:13 +0000 (+0100)
Subject: JAL-3111 JAL-3280 hide the version check preference option in ‘Connections’ tab
X-Git-Tag: Release_2_11_0~2^2~9
X-Git-Url: http://source.jalview.org/gitweb/?p=jalview.git;a=commitdiff_plain;h=e7c9f2a10d2d700121595539f2d9385a5043d7fe

JAL-3111 JAL-3280 hide the version check preference option in ‘Connections’ tab
---

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,