[DejaVu-bugs] [Bug 9425] New: U+2053 SWUNG DASH should be wider than U+007E TILDE

[bugzilla-daemon at annarchy.freedesktop.org]

Please do not reply to this email: if you want to comment on the bug, go to    
       
the URL shown below and enter yourcomments there.     
   
https://bugs.freedesktop.org/show_bug.cgi?id=9425          
     
           Summary: U+2053 SWUNG DASH should be wider than U+007E TILDE
           Product: DejaVu
           Version: unspecified
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Sans
        AssignedTo: dejavu-bugs at lists.freedesktop.org
        ReportedBy: roozbeh at farsiweb.info


According to the Unicode 5.0 book, page 208:
"A tilde is also used in dictionaries to repeat the defined term in examples. In
that usage, as well as when used as punctuation to indicate alternation, it is
more appropriately represented by a wider form, encoded as U+2053 SWUNG DASH."

This means that U+2053 should be wider than U+007E, but in the Sans fonts, it
has the same shape and width.          
     
     
--           
Configure bugmail: https://bugs.freedesktop.org/userprefs.cgi?tab=email         
     
------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.