[TxMt] Re: how does the html bundle preview a document with unsaved changes?

[Allan Odgaard]

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.