The use case is when one is closing the browser or the tab or when navigating to another url, thus really quitting the GWT application, not just changing Place. I found that apparently in this case the ActivityManager.onPlaceChange(PlaceChangeEvent event) seems to be never called. And then onStop() is NOT called in my use case.
Yves -- You received this message because you are subscribed to the Google Groups "Google Web Toolkit" group. To unsubscribe from this group and stop receiving emails from it, send an email to google-web-toolkit+unsubscr...@googlegroups.com. To post to this group, send email to google-web-toolkit@googlegroups.com. Visit this group at http://groups.google.com/group/google-web-toolkit?hl=en. For more options, visit https://groups.google.com/groups/opt_out.