{"push_id":996163565,"size":1,"distinct_size":1,"ref":"refs/heads/vte-0-44","head":"288068ee0ee9202f696d120e75340fa12774a26e","before":"a143cedadb1f934c547868afc654b34465ab3315","commits":[{"sha":"288068ee0ee9202f696d120e75340fa12774a26e","author":{"email":"5ec9fa1e687c83cf8ac6835f321fbd490139b07c@gnome.org","name":"Christian Persch"},"message":"widget: Don't deselect when updating the clipboard\n\ngtk_clipboard_set_with_data() differs from gtk_clipboard_set_with_owner()\nin that the old clear callback is *always* invoked instead of only\nwhen the owner (user_data) is different from the last owner (user_data).\nI think this is a gtk+ bug, but that code has been that way since 2000,\nso who knows why it does it this way.\n\nAdapt to this by guarding the clear callback to gtk_clipboard_set_with_owner()\nwith a bool that is set/unset around the call and makes the callback\nbail out early if we're updating the clipboard from within vte.\n\nhttps://bugzilla.gnome.org/show_bug.cgi?id=762446\n(cherry picked from commit cf72edc15a73cdaa21a459fa2b5e8f470334e3ea)","distinct":true,"url":"https://api.github.com/repos/bminor/gnome-vte/commits/288068ee0ee9202f696d120e75340fa12774a26e"}]}