The gnome file manager documentation says that holding down shift can be used to copy a file rather than move it. But its holding down control that actually makes the copy happen.
Fixed.