| 995 | } |
| 996 | |
| 997 | void |
| 998 | LayoutCanvas::zoom_box (const db::DBox &box, bool precious) |
| 999 | { |
| 1000 | if (precious) { |
| 1001 | m_precious_box = box; |
| 1002 | } |
| 1003 | m_viewport.set_box (box); |
| 1004 | m_viewport_l.set_box (box); |
| 1005 | update_viewport (); |
| 1006 | } |
| 1007 | |
| 1008 | void |
| 1009 | LayoutCanvas::zoom_trans (const db::DCplxTrans &trans) |