This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
"Let width be the width in CSS reference pixels of the OS window containing the current top-level browsing context, including any browser chrome and externally drawn window decorations." Shouldn't this instead match the SET command and use window.outerheight and window.outerwidth?
window.outer[Width|Height] aren't specified anywhere, so we can't just refer to those. The setWindowWidth command hasn't yet been updated. OTOH the dimensions of the window in CSS pixels, including decorations is aiui what the outer* properties return, in those browsers that define them, so this definition is supposed to be equivalent to the previous text. If that's not actually true we need to fix this text to match whatever the actual expected behaviour is.