[webkit-dev] Official GitHub Mirror Automatically Syncing

2021-01-06 Thread Jonathan Bedard via webkit-dev
Hey folks,

Just wanted to let everyone know that our GitHub mirror, 
https://github.com/WebKit/WebKit , is being 
automatically updated on SVN commits to trunk, just like the git.webkit.org 
 repositories. Using the GitHub repository for daily 
development or automation is now considered a supported workflow.

At this point, the history of main will remain unchanged, so the hashes of the 
commits along main in https://github.com/WebKit/WebKit 
 will not be changing.

If you haven’t done so already, now is a good time to set up a GitHub account 
and ensure the emails you have used to commit to WebKit are attached to that 
account.

Jonathan
WebKit Continuous Integration___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev


[webkit-dev] Request for position: CSS spelling and grammar features

2021-01-06 Thread dazabani via webkit-dev
I’m seeking WebKit’s position on the following features in css-pseudo
and css-text-decor:

• ::spelling-error highlight pseudo-element [0]
• ::grammar-error highlight pseudo-element [1]
• text-decoration-line: spelling-error [2]
• text-decoration-line: grammar-error [3]

While these features span two specs, they might be worth considering
together, because the new pseudo-elements depend on the new text-
decoration-line values for UA stylesheet support (and to be most
useful to authors).

Note that there’s a bug with a WIP patch for the pseudo-elements [4].

[0] https://drafts.csswg.org/css-pseudo-4/#selectordef-spelling-error
[1] https://drafts.csswg.org/css-pseudo-4/#selectordef-grammar-error
[2]
https://drafts.csswg.org/css-text-decor-4/#valdef-text-decoration-line-spelling-error
[3]
https://drafts.csswg.org/css-text-decor-4/#valdef-text-decoration-line-grammar-error
[4] https://bugs.webkit.org/show_bug.cgi?id=175784

Cheers,
Delan Azabani
Igalia
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev