If this is in reference to the multi-user plugin than I kept forgetting to make a pull request for the changes to the navigator widget that adds some new hooks. I just made a pull request.
It also has a modified edit button that is used to disable the edit button on tiddlers if that tiddler is being edited by another person or from another browser tab. In the case of that plugin both of the tiddlers in the plugin override what is in the core plugin. -- 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 tiddlywiki+unsubscr...@googlegroups.com. To post to this group, send email to tiddlywiki@googlegroups.com. 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/d77b0f18-f5d7-40ef-b1bd-0ee23bed60a5%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.