private void StoryService_StoryClosing(object sender, StoryClosingEventArgs e)
{
windowManager.Root.Close();
mainWindow = null;
upperWindow = null;
}
private void StoryService_StoryClosing(object sender, StoryClosingEventArgs e)
{
regions = null;
PropertyChanged("Regions");
PropertyChanged("HasStory");
}
void StoryService_StoryClosing(object sender, StoryClosingEventArgs e)
{
if (zmachineThread != null)
{
zmachineThread.Abort();
}
profilerService.Destroy();
zmachineThread = null;
zmachine = null;
PropertyChanged("Title");
}
private void StoryService_StoryClosing(object sender, StoryClosingEventArgs e)
{
lines.Clear();
PropertyChanged("HasStory");
}
private void StoryService_StoryClosing(object sender, StoryClosingEventArgs e)
{
PropertyChanged("Title");
}
