Use GameWindowExitException to exit GameWindow now. No need for the GameWindow.Exit(); return; idiom any more.

This commit is contained in:
the_fiddler 2007-11-11 19:28:13 +00:00
parent 255e0f5cf9
commit d1e7e6a351

View file

@ -154,9 +154,7 @@ namespace OpenTK
public virtual void Exit() public virtual void Exit()
{ {
isExiting = true; isExiting = true;
//throw new GameWindowExitException(); throw new GameWindowExitException();
//glWindow.Exit();
//this.Dispose();
} }
#endregion #endregion
@ -543,8 +541,8 @@ namespace OpenTK
update_time_counter = 0.0; update_time_counter = 0.0;
} }
if (isExiting) //if (isExiting)
break; // break;
// Raise RenderFrame event // Raise RenderFrame event
time = render_watch.Elapsed.TotalSeconds; time = render_watch.Elapsed.TotalSeconds;
@ -584,10 +582,10 @@ namespace OpenTK
//} //}
} }
} }
//catch (GameWindowExitException e) catch (GameWindowExitException)
//{ {
Trace.WriteLine("GameWindow.Exit() request");
//} }
finally finally
{ {
Thread.CurrentThread.Priority = ThreadPriority.Normal; Thread.CurrentThread.Priority = ThreadPriority.Normal;