fix punch labels in time info box
commit6ea7255291caafaf1d47758eb6f3f19b4b00ee74
authorpaul <paul@d708f5d6-7413-0410-9779-e7cbd77b26cf>
Tue, 7 Jun 2011 23:09:45 +0000 (7 23:09 +0000)
committerpaul <paul@d708f5d6-7413-0410-9779-e7cbd77b26cf>
Tue, 7 Jun 2011 23:09:45 +0000 (7 23:09 +0000)
tree1b2f5b23ee8c0722692500745f4046c02cc28a61
parent988406244bd71be06f2a0b9da1d88265b2874367
fix punch labels in time info box

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