|
From: | dak |
Subject: | Re: Issue 5272: Add \depart <markup> (issue 337520043 by address@hidden) |
Date: | Wed, 07 Feb 2018 01:36:22 -0800 |
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/
[Prev in Thread] | Current Thread | [Next in Thread] |