Dear Servo folks, We devtools folks are almost done converting our web console UI to pure HTML, so we're planning our further work for Q3 and Q4. We have a few questions for you:
Our understanding is that your plan was to take out your Firefox devtools protocol support and start implementing the Chrome protocol, once your June demos were done. Have you started work on this? If not, the Devtools team has time for that in Q3-4, and people interested in doing the work. For unrelated reasons, we want to adjust our console protocol to more closely resemble Chrome's, but one effect of that is to make it easier to support both protocols, so that's readily doable. The Chrome RDP is based on WebSockets. Does Servo have a WebSocket server implemented already that it wants to use, or does one need to be written? Our web console UI uses some HTML/CSS features that Servo doesn't yet support. We could file bugs for these if they would be of interest to you; would they? Thanks! _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
