X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGPreferences.java;h=842ade9ec497fea3e418be714104cf5152ea920c;hb=4f90c01f2b85f6c042ddba89e4dacb8cc2f86881;hp=dad0f7f455093b2908926f50d35b545fc3d84725;hpb=d704670a936df11fbaf75abbb6d07493d70993a9;p=jalview.git diff --git a/src/jalview/jbgui/GPreferences.java b/src/jalview/jbgui/GPreferences.java index dad0f7f..842ade9 100755 --- a/src/jalview/jbgui/GPreferences.java +++ b/src/jalview/jbgui/GPreferences.java @@ -23,6 +23,7 @@ import java.awt.event.*; import javax.swing.*; import javax.swing.border.*; import javax.swing.event.*; +import java.awt.Rectangle; /** * DOCUMENT ME! @@ -400,7 +401,7 @@ public class GPreferences openoverv.setHorizontalAlignment(SwingConstants.RIGHT); openoverv.setHorizontalTextPosition(SwingConstants.LEADING); openoverv.setText("Open Overview Window"); - openoverv.setBounds(new Rectangle(169, 17, 152, 23)); + openoverv.setBounds(new Rectangle(169, 17, 200, 23)); jPanel2.add(fullScreen); jPanel2.add(annotations); jPanel2.add(seqLimit);