<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="Content-Type" content="text/xhtml; charset=utf-8">
</head>
<body>
<div style="font-family:sans-serif"><div style="white-space:normal">
<p dir="auto">On 12 Jul 2016, at 15:43, Koen Punt wrote:</p>
<p dir="auto"></p></div>
<div style="white-space:pre-wrap"><blockquote style="border-left:2px solid #777; color:#777; margin:0 0 5px; padding-left:5px"><div dir="auto">And I had the second crash within the hour just yet:
</div></blockquote></div>
<div style="white-space:normal">
<p dir="auto">I just pushed a build that hopefully fixes that. I got a lot more crashes from beta 11.7 than I am used to, so sorry to everyone about that. It was a “last minute fix” that I pushed, which turned out to not really be a fix at all…</p>
<p dir="auto">As for <code style="background-color:#F7F7F7; border-radius:3px; margin:0; padding:0 0.4em" bgcolor="#F7F7F7">callback.document.will-save</code>, is this failing for the active document (selected tab)? Or is it about non-active tabs?</p>
</div>
</div>
</body>
</html>