| 992 | } |
| 993 | |
| 994 | void View::update_margins() |
| 995 | { |
| 996 | int width = get_view_width(); |
| 997 | |
| 998 | if (width > 0) |
| 999 | { |
| 1000 | _ruler->setGeometry(_viewcenter->x(), 0, width, _viewcenter->y()); |
| 1001 | _header->setGeometry(0, _viewcenter->y(), _viewcenter->x(), _viewcenter->height()); |
| 1002 | _devmode->setGeometry(0, 0, _viewcenter->x(), _viewcenter->y()); |
| 1003 | } |
| 1004 | } |
| 1005 | |
| 1006 | void View::header_updated() |
| 1007 | { |
nothing calls this directly
no test coverage detected