| 4120 | } |
| 4121 | |
| 4122 | void |
| 4123 | LayoutViewBase::goto_window (const db::DPoint &p, double s) |
| 4124 | { |
| 4125 | if (s > 1e-6) { |
| 4126 | db::DBox b (p.x () - s * 0.5, p.y () - s * 0.5, p.x () + s * 0.5, p.y () + s * 0.5); |
| 4127 | zoom_box (b); |
| 4128 | } else { |
| 4129 | db::DBox b (box ()); |
| 4130 | b.move (p - b.center ()); |
| 4131 | zoom_box (b); |
| 4132 | } |
| 4133 | } |
| 4134 | |
| 4135 | void |
| 4136 | LayoutViewBase::redraw_layer (unsigned int index) |