Very nice idea!
On the other hand, \goTo seems unlikely to resemble whatever we settle on for the grob name… unless everyone likes GoToScript.
What about \jumpTo? Note that I like \goTo also, and I don't mind if the low-level stuff uses `depart' in its name. https://codereview.appspot.com/337520043/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
