diff widgets/CommandHistory.cpp @ 791:b076cefaf708 tonioni

Play pointer: Avoid disconcerting jump when dragging so pointer is at start of pane (without having it leave the pane)
author Chris Cannam
date Thu, 12 Jun 2014 13:42:10 +0100
parents f428bd852580
children 102ffad481e6
line wrap: on
line diff