diff widgets/WindowTypeSelector.cpp @ 1480:232262e38051 by-id

Update for changes to PlayParameters
author Chris Cannam
date Thu, 04 Jul 2019 18:04:44 +0100
parents 6645b6b8356f
children
line wrap: on
line diff