[webkit-dev] Rounded dots in dotted border

[Zalan Bujtas]

Hi,
There’s a bit of a history here.
https://bugs.webkit.org/show_bug.cgi?id=95203
I don’t see anyone working on this issue, but Myles might have plans.
 
Zalan.
> On Jul 14, 2016, at 6:21 AM, Konstantin Tokarev <annulen at yandex.ru> wrote:
> 
> Hello,
> 
> Document [1] says defines "dotted" style as "a series of round dots", however CG and Cairo implementations draw dots as squares.
> 
> Are there any plans to implement rounded dots?
> 
> 
> [1] https://www.w3.org/TR/css3-background/#border-style
> 
> -----
> 
> P.S. Some context in case anyone is interested:
> 
> I was rewriting drawLine() implementation in Qt port which was broken by r177686 (remember skewed border in Bugzilla with Cairo? That thing), and found that implementations of drawLine() share the same logic and differ in minor details only. However, out old code was drawing rounded dots, and I feel it would be more appropriate to implement this logic in shared code, or drop it completely if other ports are not planning to do this.
> 
> -- 
> Regards,
> Konstantin
> _______________________________________________
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
> https://lists.webkit.org/mailman/listinfo/webkit-dev