Changes pushed with changeset 84ae8ab37bca53c7008225b0fa0745252d3814b3
User
Push date [To Local]
ChangesetPatch author — Commit message
bzbarsky@mozilla.com
Wed Oct 29 20:19:01 2008 +0000
84ae8ab37bca53c7008225b0fa0745252d3814b3Boris Zbarsky — Bug 439965. Make sure to flush frames on our parent before checking whether editing is on, since editing depends on the presshell. r+sr=peterv