import jalview.bin.Cache;
import jalview.gui.JvSwingUtils;
import jalview.gui.Preferences;
+import jalview.io.FileFormat;
import jalview.schemes.ColourSchemeProperty;
import jalview.util.MessageManager;
setJMenuBar(alignFrameMenuBar);
// dynamically fill save as menu with available formats
- for (int i = 0; i < jalview.io.FormatAdapter.WRITEABLE_FORMATS.length; i++)
+ for (String ff : FileFormat.getWritableFormats(true))
{
- JMenuItem item = new JMenuItem(
- jalview.io.FormatAdapter.WRITEABLE_FORMATS[i]);
+ JMenuItem item = new JMenuItem(ff);
item.addActionListener(new ActionListener()
{
}
});
JMenuItem selectHighlighted = new JMenuItem(
- MessageManager.getString("label.select_highlighted_columns"));
- keyStroke = KeyStroke.getKeyStroke(KeyEvent.VK_L, Toolkit
- .getDefaultToolkit().getMenuShortcutKeyMask(), false);
+ MessageManager.getString("action.select_highlighted_columns"));
+ selectHighlighted.setToolTipText(MessageManager
+ .getString("tooltip.select_highlighted_columns"));
al = new ActionListener()
{
@Override
selectHighlightedColumns_actionPerformed(actionEvent);
}
};
- addMenuActionAndAccelerator(keyStroke, selectHighlighted, al);
-
+ selectHighlighted.addActionListener(al);
JMenu tooltipSettingsMenu = new JMenu(
MessageManager.getString("label.sequence_id_tooltip"));
JMenu autoAnnMenu = new JMenu(