Yes likely a dropsync issue. On the plus side dropbox doesn't actually *delete* files. Log into the website and at the top right there's a show deleted files button (grey bin icon) - then you can restore from there.