[dev-servo] Web console protocol support for Servo
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
Re: [dev-servo] Web console protocol support for Servo
On Fri, Jul 8, 2016 at 5:50 PM, Jim Blandy wrote: > 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? My understanding is that Servo is happy to have such issues on file. A while ago when the devtools.html experiment first came up (during Mozlando), we started filing a few issues for missing Servo features needed by DevTools UI with a meta issue[1] to track them. It seems logical to me to add on more issues as needed to the meta issue there. We could also make a more focused console-only meta issue. [1]: https://github.com/servo/servo/issues/8973 - Ryan ___ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
Re: [dev-servo] Web console protocol support for Servo
> 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? Not that I am aware of. I'd be willing to help if I get time, though. 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? > > Servo itself only uses a client so far. Our websocket library however has a server component which could be used > 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? Yes please :) Might be worth creating some labels similar to the browserhtml ones to help prioritize these. -Manish Goregaokar ___ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
