X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FWsJobParameters.java;h=9164cc00131931cdb23a61c3d082a717105aab75;hb=8a6fa9ea9900d0f106529c3f6283e7f9d76dd2cb;hp=cbfa273b3e6a5fa341d81ad1fe115b5424938d9c;hpb=62e1a981278168d7d2a78a80e721bbb899e14afb;p=jalview.git diff --git a/src/jalview/gui/WsJobParameters.java b/src/jalview/gui/WsJobParameters.java index cbfa273..9164cc0 100644 --- a/src/jalview/gui/WsJobParameters.java +++ b/src/jalview/gui/WsJobParameters.java @@ -1,3 +1,20 @@ +/* + * Jalview - A Sequence Alignment Editor and Viewer (Version 2.6) + * Copyright (C) 2010 J Procter, AM Waterhouse, G Barton, M Clamp, S Searle + * + * This file is part of Jalview. + * + * Jalview is free software: you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. + * + * Jalview is distributed in the hope that it will be useful, but + * WITHOUT ANY WARRANTY; without even the implied warranty + * of MERCHANTABILITY or FITNESS FOR A PARTICULAR + * PURPOSE. See the GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License along with Jalview. If not, see . + */ package jalview.gui; import java.awt.BorderLayout; @@ -33,6 +50,7 @@ import java.util.List; import java.util.Map; import java.util.Vector; +import javax.swing.InputVerifier; import javax.swing.JButton; import javax.swing.JCheckBox; import javax.swing.JComboBox; @@ -48,6 +66,7 @@ import javax.swing.JPopupMenu; import javax.swing.JScrollPane; import javax.swing.JSlider; import javax.swing.JSplitPane; +import javax.swing.JTabbedPane; import javax.swing.JTable; import javax.swing.JTextArea; import javax.swing.JTextField; @@ -73,9 +92,19 @@ import compbio.metadata.WrongParameterException; import compbio.metadata.ValueConstrain.Type; import jalview.util.jarInputStreamProvider; +import jalview.ws.jws2.JabaParamStore; +import jalview.ws.jws2.JabaPreset; import jalview.ws.jws2.Jws2Discoverer; import jalview.ws.jws2.ParameterUtils; import jalview.ws.jws2.Jws2Discoverer.Jws2Instance; +import jalview.ws.jws2.dm.JabaOption; +import jalview.ws.jws2.dm.JabaParameter; +import jalview.ws.params.ArgumentI; +import jalview.ws.params.OptionI; +import jalview.ws.params.ParamDatastoreI; +import jalview.ws.params.ParameterI; +import jalview.ws.params.ValueConstrainI; +import jalview.ws.params.WsParamSetI; /** * job parameter editing/browsing dialog box. User can browse existing settings @@ -95,6 +124,8 @@ import jalview.ws.jws2.Jws2Discoverer.Jws2Instance; public class WsJobParameters extends JPanel implements ItemListener, ActionListener, DocumentListener { + URL linkImageURL = getClass().getResource("/images/link.gif"); + private static final String SVC_DEF = "Defaults"; // this is the null // parameter set as shown to // user @@ -112,6 +143,10 @@ public class WsJobParameters extends JPanel implements ItemListener, JSplitPane jobPanel = new JSplitPane(); + boolean split = true; + + JTabbedPane tabpanels = new JTabbedPane(); + JPanel jobOptions = new JPanel(); JScrollPane jobOptionsPane = new JScrollPane(); @@ -136,21 +171,20 @@ public class WsJobParameters extends JPanel implements ItemListener, JScrollPane paramPane = new JScrollPane(); - // JList paramList = new JList(); JPanel paramList = new JPanel(); RunnerConfig serviceOptions; - private BorderLayout jparamLayout; + ParamDatastoreI paramStore; WsJobParameters(Jws2Instance service) { this(service, null); } - public WsJobParameters(Jws2Instance service, Preset p) + public WsJobParameters(Jws2Instance service, WsParamSetI preset) { - this(null, service, p, null); + this(null, service, preset, null); } /** @@ -158,16 +192,36 @@ public class WsJobParameters extends JPanel implements ItemListener, * @param desktop * - if null, create new JFrame outside of desktop * @param service - * @param p + * @param preset */ - public WsJobParameters(JFrame parent, Jws2Instance service, Preset p, - List jobArgset) + public WsJobParameters(JFrame parent, Jws2Instance service, + WsParamSetI preset, List jobArgset) + { + this(parent, null, service, preset, jobArgset); + } + + /** + * + * @param parent + * @param paramStorei + * @param service + * @param preset + * @param jobArgset + */ + public WsJobParameters(JFrame parent, ParamDatastoreI paramStorei, + Jws2Instance service, WsParamSetI preset, List jobArgset) { super(); jbInit(); + this.paramStore = paramStorei; + if (paramStore == null) + { + paramStore = service.getParamStore(); + } + this.service = service; // argSetModified(false); // populate parameter table - initForService(service, p, jobArgset); + initForService(service, preset, jobArgset); // display in new JFrame attached to parent. validate(); } @@ -192,9 +246,25 @@ public class WsJobParameters extends JPanel implements ItemListener, (int) (deskr.getCenterY() - 250), 480, 500)); frame.setContentPane(this); // should recover defaults from user prefs. + // settingsPanel.setDividerLocation(0.4); + // jobPanel.setDividerLocation(0.5); frame.validate(); - settingsPanel.setDividerLocation(0.4); - jobPanel.setDividerLocation(0.3); + if (split) + { + javax.swing.SwingUtilities.invokeLater(new Runnable() + { + public void run() + { + settingsPanel.setDividerLocation(0.5); + jobPanel.setDividerLocation(setDescr.getLineCount() > 3 ? 0.35 + : 0.16); + } + }); + } + else + { + tabpanels.setSelectedComponent(jobOptionsPane); + } frame.setVisible(true); if (response > 0) @@ -204,22 +274,10 @@ public class WsJobParameters extends JPanel implements ItemListener, return false; } - protected JButton makeButton(String label, String tooltip, - ActionListener action) - { - JButton button = new JButton(); - button.setText(label); - button.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10)); - button.setForeground(Color.black); - button.setHorizontalAlignment(SwingConstants.CENTER); - button.setToolTipText(tooltip); - button.addActionListener(action); - return button; - } - private void jbInit() { - updatepref = makeButton("Update", "Update the stored user preference", + updatepref = JvSwingUtils.makeButton("Update", + "Update this existing user parameter set.", new ActionListener() { @@ -228,7 +286,8 @@ public class WsJobParameters extends JPanel implements ItemListener, update_actionPerformed(e); } }); - deletepref = makeButton("Delete", "Delete the user preference", + deletepref = JvSwingUtils.makeButton("Delete", + "Delete the currently selected user parameter set.", new ActionListener() { @@ -237,7 +296,8 @@ public class WsJobParameters extends JPanel implements ItemListener, delete_actionPerformed(e); } }); - createpref = makeButton("Create", "Create a new preference", + createpref = JvSwingUtils.makeButton("Create", + "Create a new parameter set with the current settings.", new ActionListener() { @@ -246,8 +306,9 @@ public class WsJobParameters extends JPanel implements ItemListener, create_actionPerformed(e); } }); - revertpref = makeButton("Revert", - "Undo all changes to the current set", new ActionListener() + revertpref = JvSwingUtils.makeButton("Revert", + "Undo all changes to the current parameter set", + new ActionListener() { public void actionPerformed(ActionEvent e) @@ -255,26 +316,22 @@ public class WsJobParameters extends JPanel implements ItemListener, revert_actionPerformed(e); } }); - startjob.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10)); - startjob.setText("Start"); - startjob.setToolTipText("Start Job"); - startjob.addActionListener(new ActionListener() - { - public void actionPerformed(ActionEvent e) - { - startjob_actionPerformed(e); - } - }); - canceljob.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10)); - canceljob.setText("Cancel"); - canceljob.setToolTipText("Cancel Job"); - canceljob.addActionListener(new ActionListener() - { - public void actionPerformed(ActionEvent e) - { - canceljob_actionPerformed(e); - } - }); + startjob = JvSwingUtils.makeButton("Start Job", + "Start Job with current settings.", new ActionListener() + { + public void actionPerformed(ActionEvent e) + { + startjob_actionPerformed(e); + } + }); + canceljob = JvSwingUtils.makeButton("Cancel Job", + "Close this dialog and cancel job.", new ActionListener() + { + public void actionPerformed(ActionEvent e) + { + canceljob_actionPerformed(e); + } + }); setDetails.setBorder(new TitledBorder("Details")); setDetails.setLayout(new BorderLayout()); @@ -284,16 +341,17 @@ public class WsJobParameters extends JPanel implements ItemListener, setDescr.setBackground(getBackground()); setDescr.setEditable(true); setDescr.getDocument().addDocumentListener(this); + setDescr.setToolTipText("Click to edit the notes for this parameter set."); JScrollPane setDescrView = new JScrollPane(); // setDescrView.setPreferredSize(new Dimension(350, 200)); setDescrView.getViewport().setView(setDescr); setName.setEditable(true); setName.addItemListener(this); setName.getEditor().addActionListener(this); - JPanel setNameInfo=new JPanel(new FlowLayout(FlowLayout.LEFT)); - SetNamePanel.setLayout(new GridLayout(2,1)); + JPanel setNameInfo = new JPanel(new FlowLayout(FlowLayout.LEFT)); + SetNamePanel.setLayout(new GridLayout(2, 1)); SetNamePanel.setMinimumSize(new Dimension(300, 40)); - JLabel setNameLabel = new JLabel("Parameter set: "); + JLabel setNameLabel = new JLabel("Current parameter set name :"); setNameLabel.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10)); // setNameLabel.setHorizontalAlignment(FlowLayout.LEFT); setNameInfo.add(setNameLabel); @@ -305,21 +363,21 @@ public class WsJobParameters extends JPanel implements ItemListener, createpref.setVisible(false); JPanel setsavebuts = new JPanel(); setsavebuts.setLayout(new FlowLayout(FlowLayout.LEFT)); // GridLayout(1,2)); - ((FlowLayout)setsavebuts.getLayout()).setHgap(10); - ((FlowLayout)setsavebuts.getLayout()).setVgap(0); + ((FlowLayout) setsavebuts.getLayout()).setHgap(10); + ((FlowLayout) setsavebuts.getLayout()).setVgap(0); setsavebuts.add(deletepref); setsavebuts.add(revertpref); setsavebuts.add(createpref); setsavebuts.add(updatepref); setsavebuts.setSize(new Dimension(150, 20)); - JPanel buttonArea=new JPanel(new GridLayout(1,1)); + JPanel buttonArea = new JPanel(new GridLayout(1, 1)); buttonArea.add(setsavebuts); SetNamePanel.add(setNameInfo); SetNamePanel.add(buttonArea); setDetails.add(setDescrView, BorderLayout.CENTER); // setDetails.setPreferredSize(new Dimension(360, 100)); jobParameters.setBorder(new TitledBorder("Parameters")); - jobParameters.setLayout(jparamLayout = new BorderLayout()); + jobParameters.setLayout(new BorderLayout()); paramPane.setPreferredSize(new Dimension(360, 300)); paramPane.getVerticalScrollBar().setUnitIncrement(20); // paramPanel.setPreferredSize(new Dimension(360, 300)); @@ -331,15 +389,24 @@ public class WsJobParameters extends JPanel implements ItemListener, jobOptionsPanel.setBorder(new TitledBorder("Options")); jobOptionsPane.getViewport().setView(jobOptions); jobOptionsPanel.add(jobOptionsPane, BorderLayout.CENTER); - settingsPanel.setLeftComponent(jobOptionsPanel); - settingsPanel.setRightComponent(jobParameters); - settingsPanel.setOrientation(JSplitPane.VERTICAL_SPLIT); setLayout(new BorderLayout()); - // setPreferredSize(new Dimension(400, 600)); - // setSize(new Dimension(400, 600)); jobPanel.setLeftComponent(setDetails); - jobPanel.setRightComponent(settingsPanel); + if (split) + { + settingsPanel.setLeftComponent(jobOptionsPanel); + settingsPanel.setRightComponent(jobParameters); + settingsPanel.setOrientation(JSplitPane.VERTICAL_SPLIT); + jobPanel.setRightComponent(settingsPanel); + } + else + { + jobPanel.setRightComponent(tabpanels); + jobOptionsPane.setName("Options"); + tabpanels.add(jobOptionsPane); + paramPane.setName("Parameters"); + tabpanels.add(paramPane); + } jobPanel.setOrientation(JSplitPane.VERTICAL_SPLIT); add(SetNamePanel, BorderLayout.NORTH); add(jobPanel, BorderLayout.CENTER); @@ -360,11 +427,7 @@ public class WsJobParameters extends JPanel implements ItemListener, if (isUserPreset) { String curname = ((String) setName.getSelectedItem()).trim(); - if (curname.length() > 0 && !curname.equals(lastParmSet)) - { - _deleteUserPreset(lastParmSet); - } - _storeCurrentPreset(curname); + _updatePreset(lastParmSet, curname); lastParmSet = curname; isUserPreset = true; initArgSetModified(); @@ -372,6 +435,11 @@ public class WsJobParameters extends JPanel implements ItemListener, } } + private void _deleteUserPreset(String lastParmSet2) + { + paramStore.deletePreset(lastParmSet2); + } + protected void delete_actionPerformed(ActionEvent e) { if (isUserPreset) @@ -429,11 +497,18 @@ public class WsJobParameters extends JPanel implements ItemListener, */ boolean settingDialog = false; - void initForService(Jws2Instance service, Preset p, - List jobArgset) + void initForService(Jws2Instance service, WsParamSetI jabap, + List jabajobArgset) { + WsParamSetI p = null; + List jobArgset = null; settingDialog = true; - this.service = service; + { // instantiate the abstract proxy for Jaba objects + jobArgset = jabajobArgset == null ? null : JabaParamStore + .getJwsArgsfromJaba(jabajobArgset); + p = jabap; // (jabap != null) ? paramStore.getPreset(jabap.getName()) : + // null; + } // TODO: Recover window geometry prefs for this service // jobPanel.setDividerLocation(proportionalLocation) // settingsPanel.setDividerLocation(proportionalLocation) @@ -442,30 +517,27 @@ public class WsJobParameters extends JPanel implements ItemListener, { exnames.put((String) setName.getItemAt(i), setName.getItemAt(i)); } + servicePresets = new Hashtable(); // Add the default entry - if not present already. if (!exnames.contains(SVC_DEF)) { setName.addItem(SVC_DEF); exnames.put(SVC_DEF, SVC_DEF); + servicePresets.put(SVC_DEF, SVC_DEF); } - serviceOptions = service.getRunnerConfig(); - // add any presets not already added. String curname = (p == null ? "" : p.getName()); - PresetManager prman = service.getPresets(); - servicePresets = new Hashtable(); - if (prman != null) + for (WsParamSetI pr : paramStore.getPresets()) { - List prList = service.getPresets().getPresets(); - if (prList != null) + if (!pr.isModifiable()) + { + servicePresets.put(pr.getName(), "preset"); + } + else { - for (Object pr : prList) - { - servicePresets.put(((Preset) pr).getName(), "preset"); - if (!exnames.contains(((Preset) pr).getName())) - { - setName.addItem(((Preset) pr).getName()); - } - } + } + if (!exnames.contains(pr.getName())) + { + setName.addItem(pr.getName()); } } // TODO: if initial jobArgset matches a given user setting or preset then @@ -494,34 +566,32 @@ public class WsJobParameters extends JPanel implements ItemListener, } @SuppressWarnings("unchecked") - private void updateTable(Preset p, List jobArgset) + private void updateTable(WsParamSetI p, List jobArgset) { - List setargs = new ArrayList(); // populate table from default parameter set. - List args = serviceOptions.getArguments(); + List args = paramStore.getServiceParameters(); // split to params and required arguments { - for (Argument arg : args) + for (ArgumentI myarg : args) { - Argument myarg = (Argument) arg; // Ideally, Argument would implement isRequired ! - if (myarg instanceof Parameter) + if (myarg instanceof ParameterI) { - Parameter parm = (Parameter) myarg; + ParameterI parm = (ParameterI) myarg; addParameter(parm); } else { - if (myarg instanceof Option) + if (myarg instanceof OptionI) { - Option opt = (Option) myarg; + OptionI opt = (OptionI) myarg; addOption(opt).resetToDefault(); } else { System.err.println("Ignoring unknown service argument type " - + arg.getClass().getName()); + + myarg.getClass().getName()); } } } @@ -536,14 +606,13 @@ public class WsJobParameters extends JPanel implements ItemListener, // TODO - URL link try { - args = p.getArguments(serviceOptions); + args = p.getArguments(); } catch (Exception e) { e.printStackTrace(); } // TODO: check if args should be unselected prior to resetting using the // preset - setargs.clear(); } else { @@ -551,6 +620,7 @@ public class WsJobParameters extends JPanel implements ItemListener, { isUserPreset = false; // first call - so create a dummy name + setName.setSelectedItem(lastSetName = SVC_DEF); } } @@ -563,20 +633,20 @@ public class WsJobParameters extends JPanel implements ItemListener, // get setargs from current object if (args != null) { - for (Argument arg : args) + for (ArgumentI arg : args) { - if (arg instanceof Parameter) + if (arg instanceof ParameterI) { - setParameter((Parameter) arg); + setParameter((ParameterI) arg); } else { - if (arg instanceof Option) + if (arg instanceof OptionI) { // System.out.println("Setting option " // + System.identityHashCode(arg) + ":" + arg.getName() // + " with " + arg.getDefaultValue()); - selectOption((Option) arg, arg.getDefaultValue()); + selectOption((OptionI) arg, arg.getDefaultValue()); } } @@ -642,13 +712,18 @@ public class WsJobParameters extends JPanel implements ItemListener, { return; } - if (!b) { modifiedElements.remove(modifiedElement); } else { + if (b && modifiedElement == setName + && modifiedElements.contains(modifiedElement)) + { + // HACK! prevents iteration on makeSetNameValid + b = false; + } modifiedElements.put(modifiedElement, modifiedElement); } // set mod status based on presence of elements in table @@ -675,7 +750,8 @@ public class WsJobParameters extends JPanel implements ItemListener, boolean stn = settingDialog; boolean renamed = false; settingDialog = true; - String nm = (String) setName.getSelectedItem(); + String nm = (curSetName != null ? curSetName : (String) setName + .getSelectedItem()); // check if the name is reserved - if it is, rename it. if (isServicePreset(nm)) { @@ -686,10 +762,10 @@ public class WsJobParameters extends JPanel implements ItemListener, if (newuserset) { int i = 0; - while (_getUserPreset(tnm) != null) + while (paramStore.getPreset(tnm) != null) { tnm = nm + " (" + (++i) + ")"; - renamed=true; + renamed = true; } if (i > 0) { @@ -715,27 +791,27 @@ public class WsJobParameters extends JPanel implements ItemListener, } if (renamed) { - settingDialog=false; // we need this name change to be registered. + settingDialog = false; // we need this name change to be registered. argSetModified(setName, renamed); } settingDialog = stn; } - private void addParameter(Parameter parm) + private void addParameter(ParameterI arg) { - ParamBox pb = paramSet.get(parm.getName()); + ParamBox pb = paramSet.get(arg.getName()); if (pb == null) { - pb = new ParamBox(this, parm); - paramSet.put(parm.getName(), pb); + pb = new ParamBox(this, arg); + paramSet.put(arg.getName(), pb); paramList.add(pb); } pb.init(); // take the defaults from the parameter - pb.updateControls(parm); + pb.updateControls(arg); } - private void setParameter(Parameter arg) + private void setParameter(ParameterI arg) { ParamBox pb = paramSet.get(arg.getName()); if (pb == null) @@ -749,27 +825,27 @@ public class WsJobParameters extends JPanel implements ItemListener, } - private void selectOption(Option opt, String string) + private void selectOption(OptionI option, String string) { - OptionBox cb = optSet.get(opt.getName()); + OptionBox cb = optSet.get(option.getName()); if (cb == null) { - cb = addOption(opt); + cb = addOption(option); } - cb.enabled.setSelected(string!=null); // initial state for an option. + cb.enabled.setSelected(string != null); // initial state for an option. if (string != null) { - if (opt.getPossibleValues().contains(string)) + if (option.getPossibleValues().contains(string)) { cb.val.setSelectedItem(string); } else { - throw new Error("Invalid value " + string + " for option " + opt); + throw new Error("Invalid value " + string + " for option " + option); } } - if (opt.isRequired() && !cb.enabled.isSelected()) + if (option.isRequired() && !cb.enabled.isSelected()) { // TODO: indicate paramset is not valid.. option needs to be selected! } @@ -791,7 +867,7 @@ public class WsJobParameters extends JPanel implements ItemListener, JTextField valueField = null; - ValueConstrain validator = null; + ValueConstrainI validator = null; JPanel settingPanel = new JPanel(); @@ -807,7 +883,7 @@ public class WsJobParameters extends JPanel implements ItemListener, final URL finfo; - public ParamBox(final WsJobParameters pmlayout, Parameter parm) + public ParamBox(final WsJobParameters pmlayout, ParameterI parm) { pmdialogbox = pmlayout; setPreferredSize(new Dimension(PARAM_WIDTH, PARAM_CLOSEDHEIGHT)); @@ -828,12 +904,20 @@ public class WsJobParameters extends JPanel implements ItemListener, finfo = parm.getFurtherDetails(); if (finfo != null) { - showDesc.setToolTipText("

Click to show brief description, and right click to open link for further information.

"); + showDesc.setToolTipText("" + + JvSwingUtils + .wrapTooltip("Click to show brief description
Right click for further information.") + + ""); showDesc.addMouseListener(this); } else { - showDesc.setToolTipText("

Click to show brief description.

"); + showDesc.setToolTipText("" + + JvSwingUtils + .wrapTooltip("Click to show brief description.") + + ""); } showDesc.addActionListener(new ActionListener() { @@ -891,7 +975,7 @@ public class WsJobParameters extends JPanel implements ItemListener, boolean adjusting = false; - Parameter parameter; + ParameterI parameter; JComboBox choicebox; @@ -900,7 +984,7 @@ public class WsJobParameters extends JPanel implements ItemListener, return (descisvisible ? PARAM_HEIGHT : PARAM_CLOSEDHEIGHT); } - public void updateControls(Parameter parm) + public void updateControls(ParameterI parm) { adjusting = true; boolean init = (choicebox == null && valueField == null); @@ -956,23 +1040,16 @@ public class WsJobParameters extends JPanel implements ItemListener, Object lastVal; - public Parameter getParameter() + public ParameterI getParameter() { - Parameter prm = ParameterUtils.copyParameter(parameter); - try + ParameterI prm = parameter.copy(); + if (choice) { - if (choice) - { - prm.setDefaultValue((String) choicebox.getSelectedItem()); - } - else - { - prm.setDefaultValue(valueField.getText()); - } - } catch (WrongParameterException e) + prm.setDefaultValue((String) choicebox.getSelectedItem()); + } + else { - e.printStackTrace(); - return null; + prm.setDefaultValue(valueField.getText()); } return prm; } @@ -990,6 +1067,20 @@ public class WsJobParameters extends JPanel implements ItemListener, { valueField.setText(valueField.getText().trim()); iVal = Integer.valueOf(valueField.getText()); + if (validator.getMin() != null + && validator.getMin().intValue() > iVal) + { + iVal = validator.getMin().intValue(); + // TODO: provide visual indication that hard limit was reached for + // this parameter + } + if (validator.getMax() != null + && validator.getMax().intValue() < iVal) + { + iVal = validator.getMax().intValue(); + // TODO: provide visual indication that hard limit was reached for + // this parameter + } } catch (Exception e) { } @@ -1013,6 +1104,20 @@ public class WsJobParameters extends JPanel implements ItemListener, try { fVal = Float.valueOf(valueField.getText()); + if (validator.getMin() != null + && validator.getMin().floatValue() > fVal) + { + fVal = validator.getMin().floatValue(); + // TODO: provide visual indication that hard limit was reached for + // this parameter + } + if (validator.getMax() != null + && validator.getMax().floatValue() < fVal) + { + fVal = validator.getMax().floatValue(); + // TODO: provide visual indication that hard limit was reached for + // this parameter + } } catch (Exception e) { } @@ -1099,7 +1204,7 @@ public class WsJobParameters extends JPanel implements ItemListener, { if (javax.swing.SwingUtilities.isRightMouseButton(e)) { - Desktop.showUrl(finfo.toString()); + showUrlPopUp(this, finfo.toString(), e.getX(), e.getY()); } } @@ -1140,15 +1245,13 @@ public class WsJobParameters extends JPanel implements ItemListener, JLabel optlabel = new JLabel(); - URL linkImageURL = getClass().getResource("/images/link.gif"); - final URL finfo; boolean hasLink = false; - Option option; + OptionI option; - public OptionBox(Option opt) + public OptionBox(OptionI opt) { option = opt; setLayout(new BorderLayout()); @@ -1162,15 +1265,19 @@ public class WsJobParameters extends JPanel implements ItemListener, { hasLink = true; // optlabel.setToolTipText("

"+opt.getDescription()+"

"); - enabled.setToolTipText("

" + opt.getDescription() - + "

"); + enabled.setToolTipText("" + + JvSwingUtils.wrapTooltip(opt.getDescription() + + "
") + + ""); // optlabel.addMouseListener(this); enabled.addMouseListener(this); } else { // optlabel.setToolTipText(opt.getDescription()); - enabled.setToolTipText(opt.getDescription()); + enabled.setToolTipText("" + + JvSwingUtils.wrapTooltip(opt.getDescription()) + + ""); } add(enabled, BorderLayout.NORTH); if (opt.getPossibleValues().size() > 1) @@ -1218,25 +1325,17 @@ public class WsJobParameters extends JPanel implements ItemListener, } } - public Option getOptionIfEnabled() + public OptionI getOptionIfEnabled() { if (!enabled.isSelected()) { return null; } - Option opt=null; - try - { - opt = jalview.ws.jws2.ParameterUtils.copyOption(option); + OptionI opt = option.copy(); - if (val.getSelectedItem() != null) - { - opt.setDefaultValue((String) val.getSelectedItem()); - } - } catch (WrongParameterException e) + if (val.getSelectedItem() != null) { - e.printStackTrace(); - return null; + opt.setDefaultValue((String) val.getSelectedItem()); } return opt; } @@ -1258,9 +1357,12 @@ public class WsJobParameters extends JPanel implements ItemListener, if (initVal != null) { notmod &= initVal.equals(val.getSelectedItem()); - } else { + } + else + { // compare against default service setting - notmod &= option.getDefaultValue()==null || option.getDefaultValue().equals(val.getSelectedItem()); + notmod &= option.getDefaultValue() == null + || option.getDefaultValue().equals(val.getSelectedItem()); } } else @@ -1304,7 +1406,7 @@ public class WsJobParameters extends JPanel implements ItemListener, } - private OptionBox addOption(Option opt) + private OptionBox addOption(OptionI opt) { OptionBox cb = optSet.get(opt.getName()); if (cb == null) @@ -1340,10 +1442,10 @@ public class WsJobParameters extends JPanel implements ItemListener, { FlowLayout fl = new FlowLayout(); paramList.setLayout(fl); - int s = 2*fl.getVgap(); + int s = 2 * fl.getVgap(); for (ParamBox pbox : paramSet.values()) { - s += fl.getVgap()+pbox.getBoxHeight(); // getBoxHeight(); + s += fl.getVgap() + pbox.getBoxHeight(); // getBoxHeight(); } paramList.setPreferredSize(new Dimension(PARAM_WIDTH, s)); validate(); @@ -1418,7 +1520,7 @@ public class WsJobParameters extends JPanel implements ItemListener, } { System.out.println("Testing opts dupes for " - + lastserv.getHost() + " : " + + lastserv.getUri() + " : " + lastserv.getActionText() + ":" + pr.getName()); List