Hi Mat >> ...and, if "yes", then couldn't the code behind the filter (-widget? or what >> are actually filters?) simply use this as default? > > What would that mean? If the default were triple double quotes how would that > stop a user trying to use single double quotes like ordinary HTML? > > I mean if the code implementing the argument, presumably some TW js code for > filters, always wraps the argument in extra quotations - then user would > never have to bother with the issue of potentially missing quotes and can > always use a single pair. No?
But the code that parses the filters doesn’t get the opportunity to wrap the argument in extra double quotes; it’s up to the user to decide how many double quotes they type. Or am I missing what you mean? Best wishes Jeremy > > <:-) > > -- > 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] > <mailto:[email protected]>. > To post to this group, send email to [email protected] > <mailto:[email protected]>. > Visit this group at https://groups.google.com/group/tiddlywiki > <https://groups.google.com/group/tiddlywiki>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/tiddlywiki/bf402533-1db6-4aa8-85b1-d3095ba8d1b5%40googlegroups.com > > <https://groups.google.com/d/msgid/tiddlywiki/bf402533-1db6-4aa8-85b1-d3095ba8d1b5%40googlegroups.com?utm_medium=email&utm_source=footer>. > For more options, visit https://groups.google.com/d/optout > <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/C146ED7A-F19F-48DA-8BD3-05B7CEBE9207%40gmail.com. For more options, visit https://groups.google.com/d/optout.
