My first thought is that my UI isn't very good. If I remember correctly the list in the dropdown only shows plugins that are in the wiki but aren't listed as being on the server but doesn't check the versions. So I believe that your initial assessment is correct. I made it so that the part that sends the plugins to the server checks version numbers but I probably didn't put that on the UI component.
So it is an oversight on my part. Until I get around to finding a way to fix that you could manually send the updated plugin to the server by making a copy of the button that has the plugin explicitly listed. The button code would be something like this (changed the plugin name to match): <$button> Save Plugin to Server <$action-websocketmessage $type='savePluginFolder' pluginName='$:/plugins/Your/Plugin'/> </$button> there may be another bug in how the plugins are saved, if you remove a file from the plugin it may not be properly removed on the server. So back up your data! I need to find out how to solve that in a way that doesn't make it easy to accidentally delete plugins from the server. -- 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/504a3e0e-d4e6-4bca-a796-f776c0a5f3aa%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
