The "export DOT" and "export PNG" buttons cause new pop-up windows to appear
with the contents of the model dot/png files. However, many users have pop-up
windows disabled by default and will not be able to access this functionality.
In Chrome, a user might notice that a pop-up window is blocked (a little icon
appears in the address bar). But, in Safari pop-up windows are silently blocked
so the user is not even aware of what might have caused the functionality to
break.
To avoid the above brittle nature of pop-up windows, we should instead use
overlays. We already use overlays for the welcome message, and to list the list
of mined invariants. We should re-use overlays for model exports, as well.
Original issue reported on code.google.com by bestchai on 19 Feb 2012 at 5:16
Original issue reported on code.google.com by
bestchai
on 19 Feb 2012 at 5:16