diff widgets/CommandHistory.cpp @ 787:b4acab502786 tonioni

Make sure the play pointer is always visible when the centre line is not
author Chris Cannam
date Thu, 12 Jun 2014 11:27:34 +0100
parents f428bd852580
children 102ffad481e6
line wrap: on
line diff