Defined in File common.h
nanogui::
::
leave
Request the application main loop to terminate (e.g. if you detached mainloop).