[Bug 1878906] Re: copy/paste (clipboard) is broken in Ubuntu 18.04

2020-06-01 Thread Daniel van Vugt
** Changed in: mutter (Ubuntu) Status: New => Fix Released -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1878906 Title: copy/paste (clipboard) is broken in Ubuntu 18.04 To manage notificatio

[Bug 1878906] Re: copy/paste (clipboard) is broken in Ubuntu 18.04

2020-05-31 Thread Manfred Steiner
Since app. 5 days the effect disappears, everything concerning the clipboard looks fine. Last dist-upgrade on 2020-05-31: ii gir1.2-mutter-2:amd64 3.28.4-0ubuntu18.04.2 ii libmutter-2-0:amd64 3.28.4-0ubuntu18.04.2 ii mutter3.28.4-0ubuntu18.04.2 ii mutter-common

[Bug 1878906] Re: copy/paste (clipboard) is broken in Ubuntu 18.04

2020-05-19 Thread Daniel van Vugt
** Changed in: mutter (Ubuntu) Status: Fix Released => New -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1878906 Title: copy/paste (clipboard) is broken in Ubuntu 18.04 To manage notificatio

[Bug 1878906] Re: copy/paste (clipboard) is broken in Ubuntu 18.04

2020-05-19 Thread Manfred Steiner
I am sorry, but the bug is not fixed. The bug now occurs very rarely (I would estimate 1:20 -> 20 times normal, 1 times not working). So the dist-upgrade has improved the situation, but not solved. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed

[Bug 1878906] Re: copy/paste (clipboard) is broken in Ubuntu 18.04

2020-05-18 Thread Daniel van Vugt
** Changed in: mutter (Ubuntu) Status: Incomplete => Fix Released -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1878906 Title: copy/paste (clipboard) is broken in Ubuntu 18.04 To manage noti

[Bug 1878906] Re: copy/paste (clipboard) is broken in Ubuntu 18.04

2020-05-18 Thread Manfred Steiner
Since dist-upgrade yesterday the bug disappears. copy/paste is working normal. Find the desired files in the attached file dmesg-history- settings.tar.xz ** Attachment added: "dmesg-history-settings.tar.xz" https://bugs.launchpad.net/ubuntu/+source/mutter/+bug/1878906/+attachment/5373833/+fil

[Bug 1878906] Re: copy/paste (clipboard) is broken in Ubuntu 18.04

2020-05-18 Thread Daniel van Vugt
Please also run: dmesg > dmesg.txt gsettings list-recursively org.gnome.shell > settings.txt and attach the resulting text files. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1878906 Title: c

[Bug 1878906] Re: copy/paste (clipboard) is broken in Ubuntu 18.04

2020-05-18 Thread Daniel van Vugt
Sounds like a regression caused by an update. Please attach the file: /var/log/apt/history.log and have a look at it yourself to see if you can identify what got upgraded around 5 May. ** Changed in: mutter (Ubuntu) Status: New => Incomplete -- You received this bug notification becau