From: jprocter Date: Wed, 5 Sep 2012 20:54:57 +0000 (+0100) Subject: JAL-1136 give pre-existing custom settings a special name when job parameter settings... X-Git-Tag: Jalview_2_9~329 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=fad3f340d7479114fd1c5e1ac1c089971d95b1c8;p=jalview.git JAL-1136 give pre-existing custom settings a special name when job parameter settings opened --- diff --git a/src/jalview/gui/WsJobParameters.java b/src/jalview/gui/WsJobParameters.java index b936efb..d43bd77 100644 --- a/src/jalview/gui/WsJobParameters.java +++ b/src/jalview/gui/WsJobParameters.java @@ -548,7 +548,10 @@ public class WsJobParameters extends JPanel implements ItemListener, if (jobArgset != null && jobArgset.size() > 0) { curSetName = "Supplied Settings"; + isUserPreset=false; updateTable(p, jobArgset); + setName.setSelectedItem(curSetName); + updateButtonDisplay(); } else {