bjorn/tiled — pull request #500 by stefanbeller (2013-08-16 22:10:16+00:00)
Title: Reload current map by shortcut (Proposal)

This comes in handy, if the map was edited by external editors.
This pull request is not yet completed, but rather a proposal on how to implement it.