diodon-plugins
diodon-plugins copied to clipboard
Numbering doesn't work. Pop is delicate.
I am using Ubuntu 16.04.5 andI was able to get these plugins compiled with two mods. I find:
- Numbering does not work
- Pop works if I paste and then immediately pop. If I do anything else, eg pop without an immediately prior paste, then confusion ensues. Diodon no longer shows what's on the clipboard in it's list. Pop removes elements from that list, but does not change the clipboard.
I don't know if it's relevant, but while I am able to get the hotkey registered for your pop addon, I am not able to get the hotkey for diodon itself to work.