> > Yes, I'm happy with that proposal, it's just that it doesn't seem directly > related to the explorer. > <javascript:> >
Ok, good to know. It was a response to what Mat appeared to address in his last point. It is an issue insofar as there's the question of whether those "just titles" would merely be brighter but not bold anymore... which they probably wouldn't be either. 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/tiddlywiki. For more options, visit https://groups.google.com/d/optout.
