|
@@ -142,11 +142,12 @@ set_time_units(int unit_mask) {
|
|
|
// Function: WinStatsStripChart::set_scroll_speed
|
|
// Function: WinStatsStripChart::set_scroll_speed
|
|
|
// Access: Public
|
|
// Access: Public
|
|
|
// Description: Called when the user selects a new scroll speed from
|
|
// Description: Called when the user selects a new scroll speed from
|
|
|
-// the moniotr pulldown menu, this should adjust the
|
|
|
|
|
|
|
+// the monitor pulldown menu, this should adjust the
|
|
|
// speed for the graph to the indicated value.
|
|
// speed for the graph to the indicated value.
|
|
|
////////////////////////////////////////////////////////////////////
|
|
////////////////////////////////////////////////////////////////////
|
|
|
void WinStatsStripChart::
|
|
void WinStatsStripChart::
|
|
|
set_scroll_speed(float scroll_speed) {
|
|
set_scroll_speed(float scroll_speed) {
|
|
|
|
|
+ // The speed factor indicates chart widths per minute.
|
|
|
if (scroll_speed != 0.0f) {
|
|
if (scroll_speed != 0.0f) {
|
|
|
set_horizontal_scale(60.0f / scroll_speed);
|
|
set_horizontal_scale(60.0f / scroll_speed);
|
|
|
}
|
|
}
|