X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FHTMLOptions.java;fp=src%2Fjalview%2Fgui%2FHTMLOptions.java;h=9e0f71298ca511f3f3613c58cc3215474a093bbd;hb=f063821ed0be9c1581af74643a1aa5798731af65;hp=12af73480432bf84d461c4811b70cbce3416ce72;hpb=fd18e2c73cd015d4e38ad91da0e5d7532ff0ef42;p=jalview.git diff --git a/src/jalview/gui/HTMLOptions.java b/src/jalview/gui/HTMLOptions.java index 12af734..9e0f712 100644 --- a/src/jalview/gui/HTMLOptions.java +++ b/src/jalview/gui/HTMLOptions.java @@ -59,7 +59,8 @@ public class HTMLOptions extends JPanel bg.add(text); JOptionPane pane = new JOptionPane(null, JvOptionPane.DEFAULT_OPTION, - JvOptionPane.DEFAULT_OPTION, null, new Object[] { this }); + JvOptionPane.DEFAULT_OPTION, null, new Object[] + { this }); dialog = pane.createDialog(Desktop.desktop, "HTML Rendering options"); dialog.setVisible(true);