Re: [webkit-dev] New name for DumpRenderTree tool?

2007-05-07 Thread David Carson
Sounds good - it does more than just dumping the render tree today. On May 7, 2007, at 2:48 PM, Geoffrey Garen wrote: +1 On May 7, 2007, at 11:28 AM, Darin Adler wrote: I was thinking we should change the tool's name from DumpRenderTree to RunWebKitTest. What do you all think? -- Darin

Re: [webkit-dev] New name for DumpRenderTree tool?

2007-05-07 Thread Geoffrey Garen
+1 On May 7, 2007, at 11:28 AM, Darin Adler wrote: I was thinking we should change the tool's name from DumpRenderTree to RunWebKitTest. What do you all think? -- Darin ___ webkit-dev mailing list webkit-dev@lists.webkit.org http://lists.webki

[webkit-dev] New name for DumpRenderTree tool?

2007-05-07 Thread Darin Adler
I was thinking we should change the tool's name from DumpRenderTree to RunWebKitTest. What do you all think? -- Darin ___ webkit-dev mailing list webkit-dev@lists.webkit.org http://lists.webkit.org/mailman/listinfo/webkit-dev