Yeah, after reading through the list widget's code -- particularly the refresh routine, whose performance would be negatively impacted -- I had an inkling that it might make more sense to make a new widget (EG. $numbered-list) rather than customize the existing one. I may investigate that later.
– Evan On Fri, May 13, 2016 at 2:45 PM, Jed Carty <[email protected]> wrote: > The list widget is very important to tiddlywiki so any modifications need > to be done very carefully. In the past Tobias tried adding an index > variable to the widget but it didn't play well with some other parts so it > had to be removed. I think that your workaround may be a good alternative. > > For many use cases you can get away with just using the before and after > operators which is one reason this hasn't gotten more work. > > And since you mentioned svg, I am working on making a plugin for snap.svg, > my work is here http://ooktech.com/jed/ExampleWikis/SnapSVG/ > > -- > You received this message because you are subscribed to a topic in the > Google Groups "TiddlyWiki" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/tiddlywiki/13_TTJqEEiw/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/tiddlywiki. > To view this discussion on the web visit > https://groups.google.com/d/msgid/tiddlywiki/21d9ac05-34b2-4877-98d1-214396d7de4b%40googlegroups.com > . > For more options, visit https://groups.google.com/d/optout. > -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/tiddlywiki. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/CAEKipHn78E4uo%2BCSqmtB-agkYcA1KLR8%2BVGSOuiB%2Bg%3D9tQwKVA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
