protected void OnReloadFile()
{
if (MessageService.GenericAlert(MonoDevelop.Ide.Gui.Stock.Warning,
GettextCatalog.GetString("Revert unsaved changes to document '{0}'?", Path.GetFileName(doc.Name)),
GettextCatalog.GetString("All changes made to the document will be permanently lost."), 0, AlertButton.Cancel, AlertButton.Revert) == AlertButton.Revert)
{
doc.Reload();
}
}