*/
if (oldTop != null && oldBottom != null) {
garbageCollectLines(oldTop.line(), oldTop.number(), oldBottom.line(), oldBottom.number());
}
fillOrUpdateLines(top.line(), top.number(), bottom.line(), bottom.number(), 0);
} else {
// There is some overlap, so be more efficient with our update
if (oldTop.number() < top.number()) {
// The viewport moved down, need to GC the offscreen lines