private void OnClose(object sender, EventArgs ea)
{
_replWindow.Dispose();
_replWindow = null;
try {
//File.Delete(FilePath);
} catch (Exception e) {
// TODO: Log error
Debug.WriteLine("Error while deleting temporary REPL file: {0}", e.ToString());
}
}
