\r
if (value == JalviewFileChooser.APPROVE_OPTION)\r
{\r
- currentFileFormat = chooser.getSelectedFormat();\r
+ currentFileFormat = chooser.getSelectedFormat();\r
+\r
+ if (currentFileFormat == null)\r
+ {\r
+ JOptionPane.showInternalMessageDialog(Desktop.desktop,\r
+ "You must select a file format before saving!",\r
+ "File format not specified",\r
+ JOptionPane.WARNING_MESSAGE);\r
+ value = chooser.showSaveDialog(this);\r
+ return;\r
+ }\r
+\r
jalview.bin.Cache.setProperty("DEFAULT_FILE_FORMAT",\r
currentFileFormat);\r
\r
*/\r
public void annotationPanelMenuItem_actionPerformed(ActionEvent e)\r
{\r
- if (annotationPanelMenuItem.isSelected() &&\r
- viewport.getWrapAlignment())\r
- {\r
- annotationPanelMenuItem.setSelected(false);\r
-\r
- return;\r
- }\r
-\r
viewport.setShowAnnotation(annotationPanelMenuItem.isSelected());\r
alignPanel.setAnnotationVisible(annotationPanelMenuItem.isSelected());\r
}\r