git://source.jalview.org
/
jalview.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
JAL-3594 added BG and UoD logo and banner to splashscreens, and adjusted status text box
[jalview.git]
/
src
/
jalview
/
appletgui
/
AnnotationRowFilter.java
diff --git
a/src/jalview/appletgui/AnnotationRowFilter.java
b/src/jalview/appletgui/AnnotationRowFilter.java
index
315ce3b
..
c96dbab
100644
(file)
--- a/
src/jalview/appletgui/AnnotationRowFilter.java
+++ b/
src/jalview/appletgui/AnnotationRowFilter.java
@@
-114,7
+114,7
@@
public abstract class AnnotationRowFilter extends Panel
public void cancel_actionPerformed(ActionEvent e)
{
reset();
public void cancel_actionPerformed(ActionEvent e)
{
reset();
- ap.paintAlignment(true);
+ ap.paintAlignment(true, true);
frame.setVisible(false);
}
frame.setVisible(false);
}
@@
-154,7
+154,7
@@
public abstract class AnnotationRowFilter extends Panel
thresholdValue.setCaretPosition(0);
adjusting = oldadj;
}
thresholdValue.setCaretPosition(0);
adjusting = oldadj;
}
-
+
public void thresholdValue_actionPerformed(ActionEvent e)
{
try
public void thresholdValue_actionPerformed(ActionEvent e)
{
try
@@
-163,7
+163,8
@@
public abstract class AnnotationRowFilter extends Panel
if (percentThreshold.getState())
{
int pos = slider.getMinimum()
if (percentThreshold.getState())
{
int pos = slider.getMinimum()
- + (int) ((slider.getMaximum() - slider.getMinimum()) * f / 100f);
+ + (int) ((slider.getMaximum() - slider.getMinimum()) * f
+ / 100f);
slider.setValue(pos);
}
else
slider.setValue(pos);
}
else