| 408 | } |
| 409 | |
| 410 | inline const drectangle shrink_rect ( |
| 411 | const drectangle& rect, |
| 412 | double num |
| 413 | ) |
| 414 | { |
| 415 | return drectangle(rect.left()+num, rect.top()+num, rect.right()-num, rect.bottom()-num); |
| 416 | } |
| 417 | |
| 418 | inline const drectangle grow_rect ( |
| 419 | const drectangle& rect, |