| 4091 | } |
| 4092 | |
| 4093 | void |
| 4094 | LayoutViewBase::zoom_by (double f) |
| 4095 | { |
| 4096 | db::DBox b = mp_canvas->viewport ().box (); |
| 4097 | |
| 4098 | db::DPoint c = b.center (); |
| 4099 | if (mp_canvas->mouse_in_window ()) { |
| 4100 | c = mp_canvas->mouse_position_um (); |
| 4101 | } |
| 4102 | |
| 4103 | zoom_box ((b.moved (db::DPoint () - c) * f).moved (c - db::DPoint ())); |
| 4104 | } |
| 4105 | |
| 4106 | void |
| 4107 | LayoutViewBase::shift_window (double f, double dx, double dy) |