This is an artefact of the way GNOME Do uses mono-addins. When you enable them in the preferences window, the plugins are copied from the repository that's distributed in the gnome-do-plugins package into ~/.local/share/gnome-do/plugins-$ABI_VER. What's worse, mono-addins won't overwrite the plugins already in there!
Basically the only way to fix this is to change the way gnome-do uses mono-addins. A work around, until it's fixed upstream, is to delete your ~/.local/share/gnome-do/plugins-* directories, but this sucks a bit.
Oh, drat.
This is an artefact of the way GNOME Do uses mono-addins. When you enable them in the preferences window, the plugins are copied from the repository that's distributed in the gnome-do-plugins package into ~/.local/ share/gnome- do/plugins- $ABI_VER. What's worse, mono-addins won't overwrite the plugins already in there!
Basically the only way to fix this is to change the way gnome-do uses mono-addins. A work around, until it's fixed upstream, is to delete your ~/.local/ share/gnome- do/plugins- * directories, but this sucks a bit.