|
| 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] |