equal
deleted
inserted
replaced
333 prune_push( |
333 prune_push( |
334 previous_splits, |
334 previous_splits, |
335 buffer, |
335 buffer, |
336 &mut buffer_size, |
336 &mut buffer_size, |
337 free_rect.with_margins(0, 0, 0, -trim), |
337 free_rect.with_margins(0, 0, 0, -trim), |
338 );; |
338 ); |
339 } |
339 } |
340 if rect.bottom() < free_rect.bottom() { |
340 if rect.bottom() < free_rect.bottom() { |
341 let trim = rect.bottom() - free_rect.top() + 1; |
341 let trim = rect.bottom() - free_rect.top() + 1; |
342 prune_push( |
342 prune_push( |
343 previous_splits, |
343 previous_splits, |
344 buffer, |
344 buffer, |
345 &mut buffer_size, |
345 &mut buffer_size, |
346 free_rect.with_margins(0, 0, -trim, 0), |
346 free_rect.with_margins(0, 0, -trim, 0), |
347 );; |
347 ); |
348 } |
348 } |
349 } |
349 } |
350 if split { |
350 if split { |
351 Some(buffer_size) |
351 Some(buffer_size) |
352 } else { |
352 } else { |