EXTRA_DIST = angle.png arrow-down.png arrow-right.png focus-selected.png gear.png grab-times.png karaoke_box.png karaoke_line.png lead-both.png lead-in.png lead-out.png margin-left.png margin-right.png margin-vertical.png play-last.png play-selection.png play-stop.png play.png sabbu.jpg sarrow-center.png sarrow-down-left.png sarrow-down-right.png sarrow-down.png sarrow-left.png sarrow-right.png sarrow-up-left.png sarrow-up-right.png sarrow-up.png scale-down.png scale-up.png scale-x.png scale-y.png search-indicator.png show-keyframes.png show-time.png spacing.png sync-scale.png sync-scroll.png sync-zoom.png syntax.png syntax_off.png time-left-2.png time-left.png time-right-2.png time-right.png