Comment 18 for bug 807288

I think the numbered hotcue buttons should stay as they are and we should come up with a better way to display the whole list of named hotcues. Perhaps truncated labels would be appropriate on the overview waveform.