log .hgsubstate @ 741:2d5c6920e814

age author description
Wed, 02 Jul 2014 22:04:10 +0100 Chris Cannam Merge from tonioni branch
Wed, 02 Jul 2014 17:30:09 +0100 Chris Cannam Create separate play scroll modes for (Tony-style, DAW-style) page mode and (SV-style) paging with playhead alignment to centre on drag
Wed, 02 Jul 2014 15:09:51 +0100 Chris Cannam Fix #1024 - avoid status bar repainting all its siblings when its message changes (and it resizes) by using a widget in the status bar for the label instead of the bar itself.