()
| 1169 | } |
| 1170 | |
| 1171 | public final void doExport() { |
| 1172 | |
| 1173 | if (exportTreeDialog == null) { |
| 1174 | exportTreeDialog = new ExportTreeDialog(this); |
| 1175 | } |
| 1176 | |
| 1177 | if (exportTreeDialog.showDialog() == JOptionPane.OK_OPTION) { |
| 1178 | |
| 1179 | FileDialog dialog = new FileDialog(this, |
| 1180 | "Export Tree File...", |
| 1181 | FileDialog.SAVE); |
| 1182 | |
| 1183 | dialog.setVisible(true); |
| 1184 | if (dialog.getFile() != null) { |
| 1185 | File file = new File(dialog.getDirectory(), dialog.getFile()); |
| 1186 | |
| 1187 | FileWriter writer = null; |
| 1188 | try { |
| 1189 | writer = new FileWriter(file); |
| 1190 | writeTreeFile(writer, |
| 1191 | exportTreeDialog.getFormat(), |
| 1192 | exportTreeDialog.allTrees(), |
| 1193 | exportTreeDialog.asDisplayed(), |
| 1194 | exportTreeDialog.includeFigTreeBlock(), |
| 1195 | exportTreeDialog.includeAnnotations(), |
| 1196 | false); |
| 1197 | writer.close(); |
| 1198 | } catch (IOException ioe) { |
| 1199 | JOptionPane.showMessageDialog(this, "Error writing tree file: " + ioe.getMessage(), |
| 1200 | "Export Error", |
| 1201 | JOptionPane.ERROR_MESSAGE); |
| 1202 | } |
| 1203 | |
| 1204 | } |
| 1205 | } |
| 1206 | } |
| 1207 | |
| 1208 | public final void doExportGraphic(GraphicFormat format) { |
| 1209 | FileDialog dialog = new FileDialog(this, |
no test coverage detected