*/
package jalview.gui;
+import jalview.jbgui.GRestInputParamEditDialog;
+import jalview.ws.params.InvalidArgumentException;
+import jalview.ws.params.OptionI;
+import jalview.ws.params.ParameterI;
+import jalview.ws.rest.InputType;
+import jalview.ws.rest.RestServiceDescription;
+
import java.util.ArrayList;
import java.util.Hashtable;
import net.miginfocom.swing.MigLayout;
-import jalview.jbgui.GRestInputParamEditDialog;
-import jalview.ws.params.InvalidArgumentException;
-import jalview.ws.params.OptionI;
-import jalview.ws.params.ParameterI;
-import jalview.ws.rest.InputType;
-import jalview.ws.rest.RestServiceDescription;
-
public class RestInputParamEditDialog extends GRestInputParamEditDialog
implements OptsParametersContainerI
{
@Override
protected void okPressed()
{
- reply = JOptionPane.OK_OPTION;
+ reply = JvOptionPane.OK_OPTION;
}
@Override
protected void cancelPressed()
{
- reply = JOptionPane.CANCEL_OPTION;
+ reply = JvOptionPane.CANCEL_OPTION;
}
};
+ currentservice.getName(), 600, 800);
initTypeLists();
- reply = JOptionPane.CANCEL_OPTION;
+ reply = JvOptionPane.CANCEL_OPTION;
old = toedit;
current = null;
if (old != null)
{
setStateFor(old);
}
- updated = updated && reply == JOptionPane.OK_OPTION;
+ updated = updated && reply == JvOptionPane.OK_OPTION;
frame.validate();
}