diff widgets/CommandHistory.h @ 790:7555b8b17e6e tonioni

Move play pointer on single-click in pane in navigate mode
author Chris Cannam
date Thu, 12 Jun 2014 13:14:18 +0100
parents 73a58a4dfebd
children 05d614f6e46d
line wrap: on
line diff