JAL-3026 all tabbed panes use JavaScript option

[jalview.git] / src / jalview / jbgui / GRestServiceEditorPane.java

diff --git a/src/jalview/jbgui/GRestServiceEditorPane.java b/src/jalview/jbgui/GRestServiceEditorPane.java
index a4dca4b..0df8192 100644 (file)
--- 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);