JAL-3141 Removed border around example filenames in Backups Preferences pane
authorBen Soares <bsoares@dundee.ac.uk>
Thu, 24 Jan 2019 16:25:26 +0000 (16:25 +0000)
committerBen Soares <bsoares@dundee.ac.uk>
Thu, 24 Jan 2019 16:25:26 +0000 (16:25 +0000)
src/jalview/jbgui/GPreferences.java

index 18dbcb4..dcbe020 100755 (executable)
@@ -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());