search

RedHatter / diodon-plugins

A set of plugins for the gnome clipboard manager Diodon.
19 stars 10 forks source link

Numbering doesn't work. Pop is delicate. #11

Open DiagonalArg opened 6 years ago

DiagonalArg commented 6 years ago

I am using Ubuntu 16.04.5 andI was able to get these plugins compiled with two mods. I find:

1) Numbering does not work 2) 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.

rijnhard commented 2 years ago

Numbering also doesnt work on diadon 1.13 from ppa on linux mint 21 / ubuntu 22.04 LTS