[Webkit-unassigned] [Bug 115734] New: Changing the class of an element does not trigger a selection repaint

[bugzilla-daemon at webkit.org]

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

           Summary: Changing the class of an element does not trigger a
                    selection repaint
           Product: WebKit
           Version: 528+ (Nightly build)
          Platform: Unspecified
        OS/Version: Unspecified
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: Text
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: svillar at igalia.com


Let's suppose that we have some CSS rules like:

h1.red::selection {
  background: red;
}
h1.green::selection {
  background: green;
}

and this HTML code in the body:

<h1 id="header" class="red">Hello World</h1>

a JavaScript code doing something this:

document.getElementById("header").className = green;

won't trigger a selection repaint (and it should) because we're only changing a pseudo style.

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