Re: Re: [Anygui-users] window.destroy() to terminate application.run() loop

Dallas Johnston <[email protected]>:
>
> Not exactly related, but just a reminder that to exit 
> the application, one can call the app.quit() method.

Hm. Can you, really? I'm not sure when this method was introduced into
the Application object (or by whom), but AFAICS it is neither
documented nor implemented in any of the back-ends other than qtgui.
Not exactly something to rely on at the moment :]

I'll add this to the TODO list, so we'll remember to implement it
before 0.2... :)

-- 
Magnus Lie Hetland               "Nothing shocks me. I'm a scientist." 
http://hetland.org                                   -- Indiana Jones


-------------------------------------------------------
This SF.net email is sponsored by: Does your code think in ink? 
You could win a Tablet PC. Get a free Tablet PC hat just for playing. 
What are you waiting for?
http://ads.sourceforge.net/cgi-bin/redirect.pl?micr5043en