X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FFeatureSettings.java;fp=src%2Fjalview%2Fappletgui%2FFeatureSettings.java;h=f6e777215c7be5e614c333c2f984ad708dded457;hb=7ab5d6b0ba5fec1ea4a4239e79c476d841622485;hp=90d49089da8d0fd83b06b173b9586f04f218a205;hpb=1889827c44c51f6353fe8619e5d44b421158af23;p=jalview.git diff --git a/src/jalview/appletgui/FeatureSettings.java b/src/jalview/appletgui/FeatureSettings.java index 90d4908..f6e7772 100755 --- a/src/jalview/appletgui/FeatureSettings.java +++ b/src/jalview/appletgui/FeatureSettings.java @@ -150,16 +150,22 @@ public class FeatureSettings extends Panel implements ItemListener, height = Math.max(200, height); height = Math.min(400, height); int width = 300; - jalview.bin.JalviewLite.addFrame(frame, MessageManager.getString("label.feature_settings"), width, + jalview.bin.JalviewLite.addFrame(frame, + MessageManager.getString("label.feature_settings"), width, height); } public void paint(Graphics g) { g.setColor(Color.black); - g.drawString(MessageManager.getString("label.no_features_added_to_this_alignment"), 10, 20); - g.drawString(MessageManager.getString("label.features_can_be_added_from_searches_1"), 10, 40); - g.drawString(MessageManager.getString("label.features_can_be_added_from_searches_2"), 10, 60); + g.drawString(MessageManager + .getString("label.no_features_added_to_this_alignment"), 10, 20); + g.drawString(MessageManager + .getString("label.features_can_be_added_from_searches_1"), 10, + 40); + g.drawString(MessageManager + .getString("label.features_can_be_added_from_searches_2"), 10, + 60); } protected void popupSort(final MyCheckbox check, final Hashtable minmax, @@ -167,8 +173,11 @@ public class FeatureSettings extends Panel implements ItemListener, { final String type = check.type; final Object typeCol = fr.getFeatureStyle(type); - java.awt.PopupMenu men = new PopupMenu(MessageManager.formatMessage("label.settings_for_type", new String[]{type})); - java.awt.MenuItem scr = new MenuItem(MessageManager.getString("label.sort_by_score")); + java.awt.PopupMenu men = new PopupMenu(MessageManager.formatMessage( + "label.settings_for_type", new String[] + { type })); + java.awt.MenuItem scr = new MenuItem( + MessageManager.getString("label.sort_by_score")); men.add(scr); final FeatureSettings me = this; scr.addActionListener(new ActionListener() @@ -181,7 +190,8 @@ public class FeatureSettings extends Panel implements ItemListener, } }); - MenuItem dens = new MenuItem(MessageManager.getString("label.sort_by_density")); + MenuItem dens = new MenuItem( + MessageManager.getString("label.sort_by_density")); dens.addActionListener(new ActionListener() {