This doesn't mean you're actually using the new plugin unfortunately, it's very possible you're still using an old version. This is a separate bug we're working on fixing, rm -rf your plugins dir (~/.local/share/gnome-do/plugins*) and try again.
This doesn't mean you're actually using the new plugin unfortunately, it's share/gnome- do/plugins* ) and try again.
very possible you're still using an old version. This is a separate bug
we're working on fixing, rm -rf your plugins dir
(~/.local/