From: Ben Soares <bsoares@dundee.ac.uk>
Date: Thu, 24 Jan 2019 16:25:26 +0000 (+0000)
Subject: JAL-3141 Removed border around example filenames in Backups Preferences pane
X-Git-Tag: Release_2_11_0~17^2~97^2~16
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=1c5e42d0157903b8bcef2b4a2984c2e63c707750;p=jalview.git

JAL-3141 Removed border around example filenames in Backups Preferences pane
---

diff --git a/src/jalview/jbgui/GPreferences.java b/src/jalview/jbgui/GPreferences.java
index 18dbcb4..dcbe020 100755
--- a/src/jalview/jbgui/GPreferences.java
+++ b/src/jalview/jbgui/GPreferences.java
@@ -2139,7 +2139,7 @@ public class GPreferences extends JPanel
   {
     String title = MessageManager
             .getString("label.summary_of_backups_scheme");
-    TitledBorder tb = new TitledBorder(title);
+    TitledBorder tb = new TitledBorder(new EmptyBorder(0, 0, 0, 0), title);
     // tb.setTitleFont(LABEL_FONT);
     exampleFilesPanel.setBorder(tb);
     exampleFilesPanel.setLayout(new GridBagLayout());