> > Indeed. But the author of the JavaScript library underlying the widget was > aiming to reproduce the appearance of the railroad diagrams on the JSON > site <http://www.json.org/>, and those lack arrows. So the widget makes > the arrows optional. >
Sure, technically you don't need them. It just pops out quite nicely. They could even be shorter, if that's feasible. Best wishes, Tobias. -- You received this message because you are subscribed to the Google Groups "TiddlyWiki" group. To unsubscribe from this group and stop receiving emails from it, send an email to tiddlywiki+unsubscr...@googlegroups.com. To post to this group, send email to tiddlywiki@googlegroups.com. Visit this group at http://groups.google.com/group/tiddlywiki. For more options, visit https://groups.google.com/d/optout.