Jürgen Spitzmüller wrote: > Richard Heck wrote: > >> I've been studying this bug a bit and think I know where the problem is, >> more or less. The attached file is as minimal as I can get it. The >> change of font is crucial. Without it, there is no crash. >> > I think the real problem is really just the view-source widget requesting an > invalid encoding change. This whole bug only occurs if that widget is open, > with some debug output, you can see that the encodings involved are bogus. > Yes, you're right. I'm trying to figure out then why the encoding change is invalid then. This is happening on the update after ControlDocument::dispatchParams() has called setLanguage() and before the other stuff has happened. So there's something that hasnt' happened then that needs to happen. What?
One thought, though this would be a pretty extensive change in some ways. I wonder if kernel().dispatch() couldn't take an optional boolean update that, if false, would prevent the updating from being done. It seems as if there are various times when we get sequences of updates right in a row that are pretty pointless. For example, in this very function, there might be several calls to kernel().dispatch(), and every one of them is going to trigger a complete update cycle. That's a waste of time. Probably a lot of time in some cases. Richard -- ================================================================== Richard G Heck, Jr Professor of Philosophy Brown University http://frege.brown.edu/heck/ ================================================================== Get my public key from http://sks.keyserver.penguin.de Hash: 0x1DE91F1E66FFBDEC Learn how to sign your email using Thunderbird and GnuPG at: http://dudu.dyn.2-h.org/nist/gpg-enigmail-howto
