Re: Exiting mnemonic program

[Kasper Peeters <K.Peeters@damtp.cam.ac.uk>]

> How should one exit the Mnemonic window ? Will
> Gtk_Main::instance->quit() be enough? I'm a bit uncertain with regards
> to the core etc. 

That's definitely not enough. In any case,
object_manager::free_instance() has to be called. But there is more,
and I haven't really given that enough thought. I'll fix this one.

(quitting Mnemonic? why would anyone want to do that ;-) ).

Kasper

-

         -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
         Mnemonic Browser Project - http://www.mnemonic.browser.org/
                           Developers Mailinglist
             Archive: http://www.mnemonic.browser.org/list/dev/
         -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-