AddQuitCleanFunc adds the given function to a list that is called whenever app is actually about to quit (irrevocably). Can do any necessary last-minute cleanup here.
(fun func())
| 145 | // app is actually about to quit (irrevocably). Can do any necessary |
| 146 | // last-minute cleanup here. |
| 147 | AddQuitCleanFunc(fun func()) |
| 148 | |
| 149 | // QuitReq is a quit request, triggered either by OS or user call (e.g., |
| 150 | // via Quit menu action) -- calls function previously registered by |