/// <summary>
/// Handles a request to close the spreadsheet.
/// If the spreadsheet has been changed since it was last saved, opens a dialogue box before closing.
/// </summary>
private void HandleCloseSpreadsheet(bool verified)
{
if (spreadsheet.Changed && !verified)
{
window.WarnClose();
}
else
{
window.DoClose();
}
}