Mercurial > hg > svgui
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 |