The new WKBundlePageSetHeaderBanner does not correctly handle the null banner case. Patch forthcoming. <rdar://problem/13798364>
Created attachment 200466 [details] Patch
Comment on attachment 200466 [details] Patch No API tests?
(In reply to comment #2) > (From update of attachment 200466 [details]) > No API tests? You're right; Sam and I should add API tests for this feature. Up until when Sam added the hit testing stuff to the API (which led to this crash), most of the interesting work was happening down in WebCore and we have been testing it with Internals.setHeaderHeight and Internals.setFooterHeight.
http://trac.webkit.org/changeset/149561