Re: Issue 5272: Add \depart <markup> (issue 337520043 by address@hidden)

[dak]

On 2018/02/07 06:34:32, lemzwerg wrote:
> 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.

Doesn't really work with "Fine" either.

\location or \place, with LocationMark or PlaceMark to match?

https://codereview.appspot.com/337520043/