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-2759 BoundedStartRegionIterator test
[jalview.git]
/
src
/
jalview
/
appletgui
/
ScalePanel.java
diff --git
a/src/jalview/appletgui/ScalePanel.java
b/src/jalview/appletgui/ScalePanel.java
index
bbbb92b
..
b65af2e
100755
(executable)
--- a/
src/jalview/appletgui/ScalePanel.java
+++ b/
src/jalview/appletgui/ScalePanel.java
@@
-142,7
+142,7
@@
public class ScalePanel extends Panel
sg.setStartRes(min);
sg.setEndRes(max);
}
sg.setStartRes(min);
sg.setEndRes(max);
}
- ap.paintAlignment(false);
+ ap.paintAlignment(false, false);
av.sendSelection();
}
av.sendSelection();
}
@@
-168,7
+168,7
@@
public class ScalePanel extends Panel
{
av.showColumn(reveal[0]);
reveal = null;
{
av.showColumn(reveal[0]);
reveal = null;
- ap.paintAlignment(true);
+ ap.paintAlignment(true, true);
av.sendSelection();
}
});
av.sendSelection();
}
});
@@
-184,7
+184,7
@@
public class ScalePanel extends Panel
{
av.showAllHiddenColumns();
reveal = null;
{
av.showAllHiddenColumns();
reveal = null;
- ap.paintAlignment(true);
+ ap.paintAlignment(true, true);
av.sendSelection();
}
});
av.sendSelection();
}
});
@@
-209,7
+209,7
@@
public class ScalePanel extends Panel
av.setSelectionGroup(null);
}
av.setSelectionGroup(null);
}
- ap.paintAlignment(true);
+ ap.paintAlignment(true, true);
av.sendSelection();
}
});
av.sendSelection();
}
});
@@
-240,7
+240,7
@@
public class ScalePanel extends Panel
if (!stretchingGroup)
{
if (!stretchingGroup)
{
- ap.paintAlignment(false);
+ ap.paintAlignment(false, false);
return;
}
return;
}
@@
-257,7
+257,7
@@
public class ScalePanel extends Panel
}
stretchingGroup = false;
}
stretchingGroup = false;
- ap.paintAlignment(false);
+ ap.paintAlignment(false, false);
av.sendSelection();
}
av.sendSelection();
}
@@
-286,7
+286,7
@@
public class ScalePanel extends Panel
{
stretchingGroup = true;
cs.stretchGroup(res, sg, min, max);
{
stretchingGroup = true;
cs.stretchGroup(res, sg, min, max);
- ap.paintAlignment(false);
+ ap.paintAlignment(false, false);
}
}
}
}
@@
-438,7
+438,7
@@
public class ScalePanel extends Panel
{
int widthx = 1 + endx - startx;
Iterator<Integer> it = hidden.getBoundedStartIterator(startx,
{
int widthx = 1 + endx - startx;
Iterator<Integer> it = hidden.getBoundedStartIterator(startx,
- startx + widthx + 1, true);
+ startx + widthx + 1);
while (it.hasNext())
{
res = it.next() - startx;
while (it.hasNext())
{
res = it.next() - startx;