@cbrun
cbrun Make sure we reset the clipboard state to what it was before
d5ab5b1 Jul 7, 2016
Make sure we reset the clipboard state to what it was before
d5ab5b1