fix punch labels in time info box
authorPaul Davis <paul@linuxaudiosystems.com>
Tue, 7 Jun 2011 23:09:45 +0000 (23:09 +0000)
committerPaul Davis <paul@linuxaudiosystems.com>
Tue, 7 Jun 2011 23:09:45 +0000 (23:09 +0000)
commitf90fed23606b7bd050d3eee3979e14c05e2eb241
tree1b2f5b23ee8c0722692500745f4046c02cc28a61
parenta56555e8b200970a364c5f341d9ad938f53553c6
fix punch labels in time info box

git-svn-id: svn://localhost/ardour2/branches/3.0@9686 d708f5d6-7413-0410-9779-e7cbd77b26cf
gtk2_ardour/time_info_box.cc