[Bug 26707] New: WindowSize dictionary uses double when it should use number

• From: <bugzilla@jessica.w3.org>
• Date: Tue, 02 Sep 2014 06:02:42 +0000
• To: public-browser-tools-testing@w3.org
• Message-ID: <bug-26707-5015@http.www.w3.org/Bugs/Public/>

https://www.w3.org/Bugs/Public/show_bug.cgi?id=26707

            Bug ID: 26707
           Summary: WindowSize dictionary uses double when it should use
                    number
           Product: Browser Test/Tools WG
           Version: unspecified
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: WebDriver
          Assignee: public-browser-tools-testing@w3.org
          Reporter: ato@mozilla.com
        QA Contact: public-browser-tools-testing@w3.org
                CC: mike@w3.org

The WindowSize dictionary [1] uses the data type double for height/width but
this isn't supported in JSON which only has a number type [2] (which may be
extracted to an integer or float in the local end).

(Furthermore ElementRect may use floats for the positioning of elements in the
DOM, e.g. .5px, but WindowSize uses integers as no window managers support half
pixels.)

1.
https://dvcs.w3.org/hg/webdriver/raw-file/tip/webdriver-spec.html#dictionary-windowsize-members
2. http://www.ietf.org/rfc/rfc4627.txt

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Tuesday, 2 September 2014 06:02:43 UTC