X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGPreferences.java;fp=src%2Fjalview%2Fjbgui%2FGPreferences.java;h=327cdc519e1cb6b51f3194b8cffb7c86bc384993;hb=23d1e0a9db738692906072a8aae8844213b0b4ac;hp=68073828a3565566836834c5decae22f72fde59b;hpb=53cc3d8ada4a614d3d5b45c6a6d5c5b7edd709a4;p=jalview.git diff --git a/src/jalview/jbgui/GPreferences.java b/src/jalview/jbgui/GPreferences.java index 6807382..327cdc5 100755 --- a/src/jalview/jbgui/GPreferences.java +++ b/src/jalview/jbgui/GPreferences.java @@ -291,7 +291,7 @@ public class GPreferences extends JPanel */ private void jbInit() throws Exception { - final JTabbedPane tabbedPane = new JTabbedPane(); + final JTabbedPane tabbedPane = jalview.jbgui.swing.JTabbedPane.createTabbedPane(); this.setLayout(new BorderLayout()); JPanel okCancelPanel = initOkCancelPanel(); this.add(tabbedPane, BorderLayout.CENTER);