X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGRestServiceEditorPane.java;fp=src%2Fjalview%2Fjbgui%2FGRestServiceEditorPane.java;h=0df81922347296d7627ada45b09a49dd80de5d8e;hb=23d1e0a9db738692906072a8aae8844213b0b4ac;hp=a4dca4b7d9dc0d3e8c4621edceebbb16ea789b6c;hpb=53cc3d8ada4a614d3d5b45c6a6d5c5b7edd709a4;p=jalview.git diff --git a/src/jalview/jbgui/GRestServiceEditorPane.java b/src/jalview/jbgui/GRestServiceEditorPane.java index a4dca4b..0df8192 100644 --- a/src/jalview/jbgui/GRestServiceEditorPane.java +++ b/src/jalview/jbgui/GRestServiceEditorPane.java @@ -98,7 +98,7 @@ public class GRestServiceEditorPane extends JPanel paste.setLayout( new MigLayout("", "[grow 100, fill]", "[][grow 100,fill]")); - panels = new JTabbedPane(); + panels = jalview.jbgui.swing.JTabbedPane.createTabbedPane(); panels.addTab(details.getName(), details); panels.addTab(inputs.getName(), inputs); panels.addTab(paste.getName(), paste);