comparison widgets/CommandHistory.cpp @ 817:24f18a7dd26d tonioni

Merge from default branch, and update to make sure we retain the DAW-style scrolling (page without moving playhead on scroll)
author Chris Cannam
date Wed, 02 Jul 2014 19:22:05 +0100
parents 102ffad481e6
children 4a578a360011
comparison
equal deleted inserted replaced
816:7b6c5fce5f84 817:24f18a7dd26d