Ryosuke Niwa , 2012-11-29 19:10 -0800:
> Furthermore, there is nothing that prevents authors from using main
> element today since the only difference will be whether it's recognized
> by AT and that prototype name will be HTMLMainElement once we support it.
It actually just uses the HTMLElement
On Nov 29, 2012, at 7:19 PM, Alex Russell wrote:
> My object is somewhat different. I think it's useful for the readability
> use-case (and the other proposed "solutions" are mostly bad jokes), but it
> doesn't strike me that this give you much default UI and doesn't plumb
> through any new lo
On 11/28/12 16:55 , Adam Barth wrote:
My sense is that the WebKit community would prefer that the hashes in
GitHub match the hashes in git.webkit.org so that folks can more
easily move branches between the two. For my part, I've switched over
to using GitHub exclusive of git.webkit.org, so the t
Hi,
I brought back webkit-perf.appspot.com last night. You should be able to
see the latest results.
However, due to the impossible combinations of constraints AppEngine
imposes, we had to give up on salvaging old data. As a result, we only
have the last 1-2 weeks worth of data. My plan is move
It appears to me that the webkit dev archives are erroneously clipping any
contents after two blank lines in content. I assume this was attempt to clip
the "webkit-dev mailing list" footer that is appended after two lines with each
message.
Below is the message I sent previously, where the two
It looks github supports mirroring by pulling a repo from official location.
http://stackoverflow.com/questions/11370239/creating-an-official-github-mirror
So we might be able to rename the existing one and ask github to pull our
git.webkit.org repository into github/WebKit/webkit.
Apparently Apac
6 matches
Mail list logo
