[dev-servo] Meeting notes from chat with the Devtools team

We talked about: - Short and long-term plans for devtools protocol implementations - Devtools.html UI - Privileged JS - Supervisory JS - Architecture-related stuff - Some longer-team feature ideas https://github.com/servo/servo/wiki/Meeting-Devtools-Servo-2

Re: [dev-servo] when to switch to webrender by default

On Mon, Mar 28, 2016 at 11:33 AM, wrote: > On Monday, March 21, 2016 at 11:45:06 AM UTC-5, Jack Moffitt wrote: >> I propose the following straw man transition plan: >> >> 1. Keep -c, -g, -w command line options as they are, but switch the >> default setting to WebRender. >> 2. Remove -g. >> 3. Ad