diff view/ViewManager.h @ 968:4d54882bbf73

Avoid going pop when setting play head to before time 0
author Chris Cannam
date Thu, 21 May 2015 15:31:12 +0100
parents a1226b3b7925
children e0ac21f07ab0
line wrap: on
line diff