X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FOptsAndParamsPage.java;h=5df0174346dfce4df4175891de6472eb9188cc6b;hb=b2f9a8d7bce642ff4011bc6d49e02bb0569fbb11;hp=3bc99dd758f3f8c0d18ce3e68370f4efddae80a6;hpb=cb5d856b1304448cae13a333cbd9017f81520d90;p=jalview.git diff --git a/src/jalview/gui/OptsAndParamsPage.java b/src/jalview/gui/OptsAndParamsPage.java index 3bc99dd..5df0174 100644 --- a/src/jalview/gui/OptsAndParamsPage.java +++ b/src/jalview/gui/OptsAndParamsPage.java @@ -1,5 +1,5 @@ /* - * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8.0b1) + * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8.1) * Copyright (C) 2014 The Jalview Authors * * This file is part of Jalview. @@ -594,9 +594,12 @@ public class OptsAndParamsPage @Override public void keyReleased(KeyEvent e) { - if (valueField.getText().trim().length() > 0) + if (e.isActionKey()) { - actionPerformed(null); + if (valueField.getText().trim().length() > 0) + { + actionPerformed(null); + } } } @@ -676,7 +679,7 @@ public class OptsAndParamsPage { slider.getModel().setRangeProperties(iVal, 1, validator.getMin().intValue(), - validator.getMax().intValue(), true); + validator.getMax().intValue()+1, true); } else { @@ -716,9 +719,9 @@ public class OptsAndParamsPage ; if (validator.getMin() != null && validator.getMax() != null) { - slider.getModel().setRangeProperties((int) fVal * 1000, 1, - (int) validator.getMin().floatValue() * 1000, - (int) validator.getMax().floatValue() * 1000, true); + slider.getModel().setRangeProperties((int) (fVal * 1000f), 1, + (int) (validator.getMin().floatValue() * 1000f), + 1+(int) (validator.getMax().floatValue() * 1000f), true); } else {