[Webkit-unassigned] [Bug 53932] New: Element has even width, border-style: dotted joins on outside

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=53932

           Summary: Element has even width, border-style: dotted joins on
                    outside
           Product: WebKit
           Version: 528+ (Nightly build)
          Platform: PC
               URL: http://dev.harnos.at/webkit/border-bug/
        OS/Version: Linux
            Status: UNCONFIRMED
          Severity: Trivial
          Priority: P4
         Component: CSS
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: mharnos at gmail.com


Created an attachment (id=81497)
 --> (https://bugs.webkit.org/attachment.cgi?id=81497&action=review)
Last dots being merged in a menu

If the element has an even number of pixels the outer dots of border-style: dotted are merging (because there is no space) instead of being dropped like in other popular engines.

See also the attachment.
And the testcase: http://dev.harnos.at/webkit/border-bug/

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.