*/
public void setStartEndSeq(int start, int end)
{
- System.out.println("ViewportRange setStartEndSeq " + start + " " + end);
int[] oldvalues = updateStartEndSeq(start, end);
int oldstartseq = oldvalues[0];
int oldendseq = oldvalues[1];
*/
private int[] updateStartEndSeq(int start, int end)
{
- System.out.println("ViewportRange updateStartEndSeq " + start + " " + end);
+
+ if (end == 3 && this.endSeq == 14 || end == 13 && this.endSeq == 3) {
+ new NullPointerException().printStackTrace();
+ System.out.println("ViewportRange updateStartEndSeq " + start + " " + end + " " + Thread.currentThread());
+ }
int oldstartseq = this.startSeq;
int visibleHeight = getVisibleAlignmentHeight();
if (start > visibleHeight - 1)