(In reply to Simon Steinbeiss from comment #14) > @Rinat: Ok, let us know how it goes! Sorry that I haven't found the time to > reproduce the issue so far.
Actually, this was supposed for you to try :-) You said earlier that you need a way to reproduce the issue to make sure that proposed patch actually fixes it. So that's what I came up with, delays. I have no problems reproducing issue on my machine lately, so can't tell whenever it helps to reveal it or not. I thought it's easier to add a "sleep(1);" line manually than to apply patch. But anyway, here it is: ------------ diff --git a/panel-plugin/menu.c b/panel-plugin/menu.c index 0f24fa7..d682a6a 100644 --- a/panel-plugin/menu.c +++ b/panel-plugin/menu.c @@ -264,6 +264,7 @@ cb_clear_history (ClipmanMenu *menu) clipboard = gtk_clipboard_get (GDK_SELECTION_PRIMARY); gtk_clipboard_set_text (clipboard, "", 1); gtk_clipboard_clear (clipboard); + sleep(1); } /* ------------ -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1368499 Title: History must be cleared twice to be fully cleared To manage notifications about this bug go to: https://bugs.launchpad.net/xfce4-clipman-plugin/+bug/1368499/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
