}
_zoom_point = ev.GetPosition ();
+ setup_scrollbars();
Refresh ();
}
switch (event.GetRawKeyCode()) {
case '+':
set_pixels_per_second(_pixels_per_second.get_value_or(1) * 2);
+ setup_scrollbars();
break;
case '-':
set_pixels_per_second(_pixels_per_second.get_value_or(1) / 2);
+ setup_scrollbars();
break;
}
}