visiSpan = new Span( Math.max( 0, newDocLength - visiSpan.getLength() ), newDocLength );
TimelineVisualEdit tve = TimelineVisualEdit.scroll( this, Session.this, visiSpan );
edit.addPerform( tve );
} // else visiSpan untouched
}
edit.addPerform( new EditSetTimelineLength( this, Session.this, newDocLength ));
}
final ProcessingThread proc = new ProcessingThread( this, getFrame(), procName );
proc.putClientArg( "span", span );
proc.putClientArg( "mode", new Integer( mode ));