private void StoryService_StoryClosing(object sender, StoryClosingEventArgs e) { machine = null; reader = null; currentInstruction = null; hasStepped = false; ChangeState(DebuggerState.Unavailable); var handler = MachineDestroyed; if (handler != null) { handler(this, new MachineDestroyedEventArgs()); } }
private void StoryService_StoryClosing(object sender, StoryClosingEventArgs e) { SaveSettings(e.Story); }