This is a bug in mobile-basic-flash. The startup banner doesn't ever timeout, and it's also reliant on a GtkWindow callback which isn't guaranteed to be used. The banner should be shut down when the process ends, not when the window closes. I've reassigned this to Bob Spencer.
This is a bug in mobile-basic-flash. The startup banner doesn't ever timeout, and it's also reliant on a GtkWindow callback which isn't guaranteed to be used. The banner should be shut down when the process ends, not when the window closes. I've reassigned this to Bob Spencer.