Re: [webkit-dev] Rounded dots in dotted border

2016-07-14 Thread Myles C. Maxfield
I have interest in fixing this :) (Unless you want to first, of course! Please go right ahead if you are thinking of fixing this) --Myles > On Jul 14, 2016, at 6:21 AM, Konstantin Tokarev wrote: > > Hello, > > Document [1] says defines "dotted" style as "a series of round

Re: [webkit-dev] Rounded dots in dotted border

2016-07-14 Thread 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 wrote: > > Hello, > > Document [1] says defines "dotted" style

[webkit-dev] Rounded dots in dotted border

2016-07-14 Thread Konstantin Tokarev
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