michael@0: /* Any copyright is dedicated to the public domain. michael@0: http://creativecommons.org/publicdomain/zero/1.0/ */ michael@0: michael@0: // Bug 776129 - If a window w calls window.open, the resultant window should be michael@0: // remote iff w is remote. michael@0: // michael@0: //