Closed kapouer closed 4 years ago
Had a first look into this today - looks like it's a shell bug this time. Will try to come up with something soon.
Update: same bug on mutter 6 / gnome-shell 3.36
I can confirm this bug on Debian SId gnome-shell 3.34.4-1 mutter 3.34.4-1 libgtk-3-0 3.24.14-1 Clipboard Indicator 33 Thanks
This just got fixed by https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1204, coming to 3.36.2
Interesting kind of commit: only removals ;)
This just got fixed by https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1204, coming to 3.36.2
Great and thanks! Hopefully Ubuntu 20.04 will get 3.36.2 soon!
mutter commit has been cherry-picked and uploaded to debian/sid: now copy/paste works correctly (afaict).
I cannot reproduce the need to double click to paste on Ubuntu 20.04 anymore.
What is strange though is that the clipping preview in the panel changes only when I make a new clipping by pressing Control+C. It does not change when I select a different clipping from the list.
Should I file a separate issue?
Mutter 3.36.2 and 3.34.6 have been released now so we can close the issue.
What is strange though is that the clipping preview in the panel changes only when I make a new clipping by pressing Control+C. It does not change when I select a different clipping from the list.
Yes, please do. That sounds like a real bug in the extension.
To all Ubuntu user, please subscribe to this launchpad bug report and hopefully Mutter 3.36.2 will soon arrive in Ubuntu 20.04.
Thank you @rmader :)
Hi, on debian/sid, gnome 3.36 on wayland, libgtk 3.24.14: once copied, i need to select the item twice in clipboard history or else it doesn't paste anything. Edit: it wasn't really gnome 3.36. It was gnome-shell 3.34.4 / mutter 5.