Dear David, That's a good suggestion. However, this plugin is quite old, and it is previous to the editor bar. I don't have experience with it, so I don't know how easy or hard would be to integrate it .
-- 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/ff2e9119-5f16-4b25-8bf7-7321e21fc832%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
