Searched refs:showing_time_selection (Results 1 – 1 of 1) sorted by relevance
4631 bool const showing_time_selection = selection->time.length() > 0; in on_samples_per_pixel_changed() local4633 if (showing_time_selection && selection->time.start () != selection->time.end_sample ()) { in on_samples_per_pixel_changed()