[webkit-dev] PSA: Github mirror will be out of sync until May 6th

Hi there, Due to the move from one office to a another, our network infra-structure here will be down for the next 3 or 4 days. I won't be able to keep the github mirror in sync with git.webkit.orgduring this period, but it will be back to normality next Monday, May 6th. Best regards, Jesus

Re: [webkit-dev] Is there a plan for supporting multi-process and WebCL in webkit

Hi, WebKit already support a split process model which is what we call WebKit2 [1]. I'm not aware of any official plans of supporting WebCL but I believe Samsung was doing some research on this [2]. [1] http://trac.webkit.org/wiki/WebKit2 [2] https://code.google.com/p/webcl/ Cheers, jesus 2013

Re: [webkit-dev] Compiling WebKit up to 25% faster in Windows?

2013/3/26 Ryosuke Niwa : > On Tue, Mar 26, 2013 at 1:53 PM, Filip Pizlo wrote: >> >> >> On Mar 26, 2013, at 1:40 PM, Dirk Pranke wrote: >> >> On Tue, Mar 26, 2013 at 1:29 PM, Benjamin Poulain >> wrote: >>> >>> On Tue, Mar 26, 2013 at 1:20 PM, Dirk Pranke wrote If we have consensus tha

Re: [webkit-dev] About USE(CROSS_PLATFORM_CONTEXT_MENUS)

Hi, 2013/2/25 Adam Roben : >> I was having a look at our Context Menu design when this USE flag got >> my attention. Can someone help me clarify the motivation for it? > > The motivation is explained pretty well in the ChangeLog for r73802, > which introduced this flag. I'll try to give a little

Re: [webkit-dev] Kickstarting the migration of platform-specific WebCore source code to Source/Platform

Hi, 2013/2/28 Darin Adler : > To do this, we need to eliminate dependencies from the platform directory to > the rest of WebCore. > > At this time, we are far from that. Many dependencies on the DOM and other > such things have crept into the platform directory. I would be happy to help fixing

Re: [webkit-dev] About USE(CROSS_PLATFORM_CONTEXT_MENUS)

Hi again, It's been 2 days since the first email on this thread. Should I assume that no one is then relying on this USE flag? It adds quite a fair amount of code to all ContextMenu related files and I could clean that up if necessary. Cheers, jesus 2013/2/20 Jesus Sanchez-Palencia : &g

[webkit-dev] About USE(CROSS_PLATFORM_CONTEXT_MENUS)

Hello, I was having a look at our Context Menu design when this USE flag got my attention. Can someone help me clarify the motivation for it? It seems that only PLATFORM(WIN) is using it, but I'm not sure if for both WK1 and WK2... Also, is there any other port using it? Cheers, jesus __

Re: [webkit-dev] Github repository not being updated

Fixed a few hours ago. During my holidays last week there was a network failure problem, followed by one of those vcproj files becoming "dirty" and not allowing the mirror to update itself. Sorry of the inconvenience. cheers, jesus 2013/2/16 Vivek Galatage : > Hello Webkit-dev, > > I am using t

Re: [webkit-dev] Changing Github repository to mirror git.webkit.org (was Github vs. git.webkit.org)

commit/d5c4f2bd4a80b397eade1ee53b39d738e5656598). > > Jesus, can you take a look? > > Thanks, > Florin > > > On Wed, Jan 16, 2013 at 7:55 AM, Jesus Sanchez-Palencia > wrote: >> >> Hi, >> >> The mirror is finally ready again: https://gith

Re: [webkit-dev] Changing Github repository to mirror git.webkit.org (was Github vs. git.webkit.org)

m so we can get Apple pushing to the mirror at the same time they push to git.webkit.org . Thanks everyone that got involved for the help! Cheers, jesus 2013/1/14 Jesus Sanchez-Palencia : > Hi, > > Just yet another quick heads-up: > >> 2013/1/14 Jesus Sanchez-Palencia : >>&

Re: [webkit-dev] Changing Github repository to mirror git.webkit.org (was Github vs. git.webkit.org)

Hi, Just yet another quick heads-up: > 2013/1/14 Jesus Sanchez-Palencia : >> We have decided that the best approach for this is to start a new >> repository (webkit-mirror), delete the old one >> (https://github.com/WebKit/webkit) and then rename the new repository. I had

Re: [webkit-dev] Changing Github repository to mirror git.webkit.org (was Github vs. git.webkit.org)

The github repository has stopped being updated and will remain like that for the next hours until I have finished the new setup. cheers, jesus 2013/1/14 Jesus Sanchez-Palencia : > Hi, > > This email is a heads-up about the repository change we are starting > today in github. &g

[webkit-dev] Changing Github repository to mirror git.webkit.org (was Github vs. git.webkit.org)

rrent github repository will probably have to re-clone and rebase their branches. This won't affect git.webkit.org or any other official WebKit repository. Cheers, jesus 2012/12/11 Jesus Sanchez-Palencia : > Hi, > > 2012/12/4 Tor Arne Vestbø : >> >> Bill, what do you t

Re: [webkit-dev] Changes to the WebKit2 development process

Hi, 2013/1/8 Sam Weinig : > Hello webkit-dev, > > We are making some changes to the development process for WebKit2. These > changes were announced to reviewers in advance, and I'd like to share them > with you now. > > WebKit2 has a core set of functionality that is valuable to all ports, and

Re: [webkit-dev] Github vs. git.webkit.org

Hi, 2012/12/4 Tor Arne Vestbø : > > Bill, what do you think about pushing the official SVN import to GitHub as > well? > > tor arne Any updates about this? Cheers, jesus > >> >> So we might be able to rename the existing one and ask github to pull >> our git.webkit.org

Re: [webkit-dev] Github vs. git.webkit.org

2012/11/28 Adam Barth : > 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 the diffe

[webkit-dev] Moving methods from layoutTestController to window.internals (was "We should rename layoutTestController to testController")

2012/5/31 Ojan Vafai : > Darin, sorry for derailing this thread. I suppose I should have changed the > subject. :) Fixed. :) > > On Thu, May 31, 2012 at 1:51 PM, Jesus Sanchez-Palencia > wrote: >> >> We were following the >> "if-it-depends-only-on-WebCo

Re: [webkit-dev] We should rename layoutTestController to testController

2012/5/31 Dan Bernstein : > > On May 31, 2012, at 12:11 PM, Ryosuke Niwa wrote: > > On Thu, May 31, 2012 at 11:56 AM, Darin Adler wrote: >> >> I am thinking we should rename layoutTestController to testController. Or >> if you don’t like that name, maybe testHarness or some even better name. > >

Re: [webkit-dev] We should rename layoutTestController to testController

2012/5/31 Ojan Vafai : > testController seems fine to me. I agree it's an improvement. > > On the other hand there are other tasks that have more benefit in terms of > code maintenance for people wanting to spend time working in this area. A > couple ideas: > > Move more APIs that only depend WebCo

Re: [webkit-dev] New Qt-WK2 EWS

On Wed, Mar 7, 2012 at 6:08 AM, Osztrogonac Csaba wrote: > Hi WebKittens, > > Today morning we started a new EWS to help your WebKit2 development. > It is a build only EWS, which builds QtWebKit (WK1 and WK2 too) with > the latest stable Qt5 hash which is used by all QtWebKit developer. This is g

Re: [webkit-dev] Introducing run-perf-tests and Adding Performance Bots

I have opened the On Thu, Mar 1, 2012 at 3:17 PM, Žan Doberšek wrote: > To get WKTR running the performance tests a '-2' switch must be added to > PerfTestRunner and some refactoring is required in the WKTR itself to > properly handle the '--no-timeout' switch when given. > > I've got a diff of th

Re: [webkit-dev] Introducing run-perf-tests and Adding Performance Bots

A Qt WebKit1 performance bot was added last week, sorry for the late announcement. If I'm not mistaken, currently run-perf-tests works with DRT only, but what if we would like to make it work with WTR as well so we could also have WebKit2 performance bots running? I'm not aware of the infrastructu

Re: [webkit-dev] *.webkit.org is down

end me your IP > address and > >> I will see if its anything on the server. > >> > >> -Bill > >> > >> > >> > >> > >> On Jan 19, 2012, at 12:34 PM, Jesus Sanchez-Palencia wrote: > >> > >> I'm also in Brazil and

Re: [webkit-dev] *.webkit.org is down

I'm also in Brazil and I can confirm it doesn't work for me as well. I guess kov is also in Brazil and I just saw him mentioning on IRC that " both bugs.webkit.org and git.webkit.org are timing out"... Cheers, Jesus On Thu, Jan 19, 2012 at 5:24 PM, Philip Rogers wrote: > http://www.downforever