15 Sep
2013
15 Sep
'13
9:57 a.m.
On 13 Sep 2013, at 14:17, Stephen Bannasch wrote:
In theory you can use 'window.close()' to close windows (from JavaScript). In practice there is a bug in WebKit […]
For the records, alpha.9477 has a workaround for (alleged) the bug.
[…] If use window.close() in the future would I be able identify which window I wanted closed by name?
No, it will close the HTML output window (or split) from which it is being called.
It’s unclear to me though how you can target specific windows for different documents when showing the errors in the first place.