| 1326 | } |
| 1327 | |
| 1328 | void View::show_region(uint64_t start, uint64_t end, bool keep) |
| 1329 | { |
| 1330 | assert(start <= end); |
| 1331 | |
| 1332 | int width = get_view_width(); |
| 1333 | if (width == 0){ |
| 1334 | return; |
| 1335 | } |
| 1336 | |
| 1337 | if (keep) { |
| 1338 | set_all_update(true); |
| 1339 | update(); |
| 1340 | } |
| 1341 | else if (_session->get_map_zoom() == 0) { |
| 1342 | const double ideal_scale = (end-start) * 2.0 / _session->cur_snap_samplerate() / width; |
| 1343 | const double new_scale = max (min(ideal_scale, _maxscale), _minscale); |
| 1344 | const double new_off = (start + end) * 0.5 / (_session->cur_snap_samplerate() * new_scale) - (width / 2); |
| 1345 | set_scale_offset(new_scale, new_off); |
| 1346 | } |
| 1347 | else { |
| 1348 | const double new_scale = scale(); |
| 1349 | const double new_off = (start + end) * 0.5 / (_session->cur_snap_samplerate() * new_scale) - (width/ 2); |
| 1350 | set_scale_offset(new_scale, new_off); |
| 1351 | } |
| 1352 | } |
| 1353 | |
| 1354 | void View::viewport_update() |
| 1355 | { |
no test coverage detected