I used to run Audacity on a 12.04 system but now I'm running it on a 13.10 system. The scroll *buttons* at the end of the horizontal scroll bar have disappeared. Can I get them back anyhow? Dragging is much too crude for horizontal scrolling, I need the buttons for a controllable scroll. -- Chris Green