[Webkit-unassigned] [Bug 17194] New: Changing text to bold changes font family

Wed Feb 6 05:08:45 PST 2008

http://bugs.webkit.org/show_bug.cgi?id=17194

           Summary: Changing text to bold changes font family
           Product: WebKit
           Version: 523.x (Safari 3)
          Platform: Macintosh
        OS/Version: Mac OS X 10.5
            Status: UNCONFIRMED
          Severity: Critical
          Priority: P2
         Component: HTML Editing
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: adriaan at tijsseling.com

Using the WebKit sample, Blot, included with developer tools, load a file with
the following HTML:

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
  "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
  <meta http-equiv="content-type" content="text/html; charset=utf-8" />
  <title>Untitled</title>

<style type="text/css">
/*<![CDATA[*/
<!--
body, div, p {
  margin: 3px 6px 3px 6px;
  padding: 0;
  font: 13px "LucidaGrande";
  background: #ffffff;
  color: #333333;
  text-align: justify;
}

-->
/*]]>*/
</style>
</head>
<body>
<p>Making this word bold will turn it into Times on 10.5.</p>
</body>
</html>

Select a word to turn it bold and it will use the Times font. This does not
happen on 10.4 with the publick Safari 3 installed there, only on 10.5.

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