From 1c5e42d0157903b8bcef2b4a2984c2e63c707750 Mon Sep 17 00:00:00 2001
From: Ben Soares <bsoares@dundee.ac.uk>
Date: Thu, 24 Jan 2019 16:25:26 +0000
Subject: [PATCH] JAL-3141 Removed border around example filenames in Backups
 Preferences pane

---
 src/jalview/jbgui/GPreferences.java |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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());
-- 
1.7.10.2