> > ...flip between Unicode checkboxes. > Instead of Unicode, I've used actual HTML checkboxes as content: <input type="checkbox"> and <input type="checkbox" checked="true">
This has the advantage of exactly matching whatever checkbox styles your browser normally uses, as well as responding to CSS customizations. Note that this is NOT the <$checkbox> widget. It is just literal HTML; and, because the <input> control isn't actually connected to anything, it's *just* a checkbox, without any effect. A direct click on the checkbox falls through to the <$button>, allowing the underlying button click handler to do the work (e.g., toggle a setting) -e -- You received this message because you are subscribed to the Google Groups "TiddlyWikiDev" group. To unsubscribe from this group and stop receiving emails from it, send an email to tiddlywikidev+unsubscr...@googlegroups.com. To post to this group, send email to tiddlywikidev@googlegroups.com. Visit this group at http://groups.google.com/group/tiddlywikidev. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywikidev/6a936c8d-1f28-4819-baf0-e0efcc50bea7%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
