diff widgets/CommandHistory.h @ 671:0aea4b9e4c3d

Update a bit more around the pointer -- avoids trails in hidpi
author Chris Cannam
date Fri, 19 Jul 2013 15:45:32 +0100
parents 73a58a4dfebd
children 05d614f6e46d
line wrap: on
line diff