Hi Matabele, Thanks for that. I have got my head around Tobias' plugin interface now, but will give yours a shot too, in the interests of my tw education. Cheers JL
On Saturday, September 19, 2015 at 6:07:05 PM UTC+7, Matabele wrote: > > Hi > > I have attached a test version as a .tid file (you will need to first > import both the <$mangletags> widget from gwiz and the <$click> widget from > bjtools (both attached). > > To delete a tag (rather than find and replace the tag) -- leave out the > 'add=' attribute (or leave the 'Add' input box blank.) > > Tiddlers can be instead be modified individually by clicking the buttons > next to each tiddler listed. > > regards > > On Saturday, 19 September 2015 12:11:13 UTC+2, Matabele wrote: >> >> Hi >> >> You might also find the 'ClickAction' tool from BJ useful -- find it >> here: http://bjtools.tiddlyspot.com/ >> >> regards >> >> >> On Saturday, 19 September 2015 10:46:36 UTC+2, Tobias Beer wrote: >>> >>> Hi JL, >>> >>> >>>> The main issue is that after one or two uses, the replace button >>>> disappears. >>>> >>> >>> That's appears to be less of an issue rather than a feature. >>> After all, there's nothing left to be renamed when it comes to the tag. >>> >>> However, if it doesn't pop up again when you >>> start selecting a different tag for renaming, >>> then that would be a bug. >>> >>> Perhaps I should indicate that to perform the change entirely, >>> one is to push all buttons, those checkmarks for tagged tiddlers >>> as well as the button to rename the tag-tiddler itself. >>> >>> Best wishes, >>> >>> — tb >>> >> -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/9e351b14-5ac5-4800-a694-095113768071%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
