private void StoryService_StoryOpened(object sender, StoryOpenedEventArgs e)
{
mainWindow = windowManager.Open(ZWindowType.TextBuffer);
windowContainer.Children.Add(mainWindow);
upperWindow = windowManager.Open(ZWindowType.TextGrid, mainWindow, ZWindowPosition.Above, ZWindowSizeType.Fixed, 0);
windowManager.Activate(mainWindow);
}
private void DebuggerService_MachineCreated(object sender, MachineCreatedEventArgs e)
{
mainWindow = windowManager.Open(ZWindowType.TextBuffer);
windowContainer.Children.Add(mainWindow);
upperWindow = windowManager.Open(ZWindowType.TextGrid, mainWindow, ZWindowPosition.Above, ZWindowSizeType.Fixed, 0);
windowManager.Activate(mainWindow);
debuggerService.Machine.RegisterScreen(this);
debuggerService.Machine.RegisterSoundEngine(this);
}
private void DebuggerService_MachineCreated(object sender, MachineCreatedEventArgs e)
{
mainWindow = windowManager.Open(ZWindowType.TextBuffer);
windowContainer.Children.Add(mainWindow);
upperWindow = windowManager.Open(ZWindowType.TextGrid, mainWindow, ZWindowPosition.Above, ZWindowSizeType.Fixed, 0);
windowManager.Activate(mainWindow);
debuggerService.Machine.RegisterScreen(this);
debuggerService.Machine.RegisterSoundEngine(this);
// Listen to SizeChanged events for updating the screen size.
// Otherwise, the size of the output window at load time determines the registered size
mainWindow.SizeChanged += OutputViewModel_SizeChanged;
}