re #7912 drag and drop of files