ui
ui copied to clipboard
Make window.ui.closed public
In some cases (running UI in another thread, etc) it may be necessary to know when the window has been closed.
For this reason, window.ui.closed should be a public field.