The point-and-click functionality in PDF files is nice, so it occured to me that the snippet HTML pages would definitely benefit if mouse-over the respective parts of the PNG images highlighted the corresponding source text.
-- David Kastrup _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-devel
