From fad3f340d7479114fd1c5e1ac1c089971d95b1c8 Mon Sep 17 00:00:00 2001 From: jprocter Date: Wed, 5 Sep 2012 21:54:57 +0100 Subject: [PATCH] JAL-1136 give pre-existing custom settings a special name when job parameter settings opened --- src/jalview/gui/WsJobParameters.java | 3 +++ 1 file changed, 3 insertions(+) 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 { -- 1.7.10.2