It occurred to me that if I disabled javascript, the problems would no longer happen. Sure enough, it doesn't crash anymore.
This seems like a good enough fix to me, as webkit-gtk does not appear to be maintained anymore in favor of their newer bindings which we can't use yet.
It occurred to me that if I disabled javascript, the problems would no longer happen. Sure enough, it doesn't crash anymore.
This seems like a good enough fix to me, as webkit-gtk does not appear to be maintained anymore in favor of their newer bindings which we can't use yet.
Fixed in r4563.