This issue has been seen on the Windows operating system. The refresh button does work if you add files to the directory, but it still does not update the "Date Modified" field for the files if they are changed.
To update the "Date Modified" field, navigate out of the directory and then back into it.
This issue is scheduled to be fixed in the Vivado 2013.2 tools.