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