X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGPreferences.java;h=dcbe020466ba14afb2ee37418d41ea54a07080ff;hb=1c5e42d0157903b8bcef2b4a2984c2e63c707750;hp=18dbcb466934ea44eb0cc8c648f1a8ea4e8ed88c;hpb=3c2d7328e3d4d086c0649b88102de8da259ffb6c;p=jalview.git 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());