log .hgsubstate @ 973:f5afed675182

age author description
Thu, 21 May 2015 15:31:12 +0100 Chris Cannam Avoid going pop when setting play head to before time 0
Thu, 21 May 2015 14:06:20 +0100 Chris Cannam Prevent selection being dragged beyond start/end of content
Thu, 21 May 2015 13:55:06 +0100 Chris Cannam Box colour a darker grey by default (but also changeable now)