| 180 | } |
| 181 | |
| 182 | void InactivatePlayRegion(AudacityProject &project) |
| 183 | { |
| 184 | auto &viewInfo = ViewInfo::Get( project ); |
| 185 | auto &playRegion = viewInfo.playRegion; |
| 186 | auto &selectedRegion = viewInfo.selectedRegion; |
| 187 | // Set only the times that are fetched by the playback engine, but not |
| 188 | // the last-active times that are used for display. |
| 189 | playRegion.SetActive( false ); |
| 190 | playRegion.SetTimes( selectedRegion.t0(), selectedRegion.t1() ); |
| 191 | |
| 192 | // Ensure the proper state of looping in the menu |
| 193 | CommandManager::Get(project).UpdateCheckmarks(); |
| 194 | } |
| 195 | |
| 196 | void TogglePlayRegion(AudacityProject &project) |
| 197 | { |
no test coverage detected