X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FWsParamSetManager.java;h=b260e1b6a6bbd289f0870ffb9bd6bb61c3bbf404;hb=fd7eebe6dcf2346692d718ef91bb468cc12ebf44;hp=f00f50ce51d2ae7735ec42811463104139e52575;hpb=ad15cff29620f960119f80176f1fd443da9f6763;p=jalview.git diff --git a/src/jalview/gui/WsParamSetManager.java b/src/jalview/gui/WsParamSetManager.java index f00f50c..b260e1b 100644 --- a/src/jalview/gui/WsParamSetManager.java +++ b/src/jalview/gui/WsParamSetManager.java @@ -22,6 +22,7 @@ package jalview.gui; import jalview.bin.Cache; import jalview.io.JalviewFileChooser; +import jalview.io.JalviewFileView; import jalview.util.MessageManager; import jalview.ws.params.ParamDatastoreI; import jalview.ws.params.ParamManager; @@ -38,8 +39,6 @@ import java.util.Hashtable; import java.util.List; import java.util.StringTokenizer; -import javax.swing.JOptionPane; - /** * store and retrieve web service parameter sets. * @@ -178,17 +177,18 @@ public class WsParamSetManager implements ParamManager } if (parser == null) { - throw new Error(MessageManager.getString("error.implementation_error_cannot_find_marshaller_for_param_set")); + throw new Error( + MessageManager + .getString("error.implementation_error_cannot_find_marshaller_for_param_set")); } if (filename == null) { JalviewFileChooser chooser = new JalviewFileChooser( - jalview.bin.Cache.getProperty("LAST_DIRECTORY"), new String[] - { "wsparams" }, new String[] - { "Web Service Parameter File" }, + Cache.getProperty("LAST_DIRECTORY"), "wsparams", "Web Service Parameter File"); - chooser.setFileView(new jalview.io.JalviewFileView()); - chooser.setDialogTitle(MessageManager.getString("label.choose_filename_for_param_file")); + chooser.setFileView(new JalviewFileView()); + chooser.setDialogTitle(MessageManager + .getString("label.choose_filename_for_param_file")); chooser.setToolTipText(MessageManager.getString("action.save")); int value = chooser.showSaveDialog(Desktop.instance); if (value == JalviewFileChooser.APPROVE_OPTION) @@ -291,9 +291,9 @@ public class WsParamSetManager implements ParamManager File pfile = new File(filename); if (pfile.exists() && pfile.canWrite()) { - if (JOptionPane.showConfirmDialog(Desktop.instance, + if (JvOptionPane.showConfirmDialog(Desktop.instance, "Delete the preset's file, too ?", "Delete User Preset ?", - JOptionPane.OK_CANCEL_OPTION) == JOptionPane.OK_OPTION) + JvOptionPane.OK_CANCEL_OPTION) == JvOptionPane.OK_OPTION) { pfile.delete(); }