229230231232233234235
/** * This exports a filter to a file. */ private void exportFilter() { editor.exportToFile(new SwingExportInteraction(dialog)); }
395396397398399400401
/** * This exports the favorites to a file. */ private void exportFavorites() { favoritesEditor.exportToFile(new SwingExportInteraction(SwingUtilities.getWindowAncestor(mainPanel))); }
216217218219220221222
383384385386387388389