| 1497 | } |
| 1498 | |
| 1499 | void View::set_scale(double scale) |
| 1500 | { |
| 1501 | if (scale < _minscale) |
| 1502 | scale = _minscale; |
| 1503 | if (scale > _maxscale) |
| 1504 | scale = _maxscale; |
| 1505 | |
| 1506 | if (_scale != scale) |
| 1507 | { |
| 1508 | _scale = scale; |
| 1509 | _header->update(); |
| 1510 | _ruler->update(); |
| 1511 | viewport_update(); |
| 1512 | update_scroll(); |
| 1513 | } |
| 1514 | } |
| 1515 | |
| 1516 | void View::auto_set_max_scale() |
| 1517 | { |
no test coverage detected