diff options
Diffstat (limited to 'plugingui')
| -rw-r--r-- | plugingui/plugingui.cc | 7 | 
1 files changed, 7 insertions, 0 deletions
| diff --git a/plugingui/plugingui.cc b/plugingui/plugingui.cc index da18f71..0a68d72 100644 --- a/plugingui/plugingui.cc +++ b/plugingui/plugingui.cc @@ -203,6 +203,13 @@ void PluginGUI::thread_main()      window->eventHandler()->processEvents();      handleMessages(); + +#ifdef STANDALONE +    if(closing) { +	    if(windowClosedHandler) windowClosedHandler(windowClosedPtr); +	    break; +    } +#endif    }    deinit(); | 
