Hi, I read something about devtools in recent meeting notes [1].I don't know to which extent it will be useful, but I wanted to share the RemoteDebug initiative [2]. There might be things that can be pulled out from this project.
David [1] https://github.com/mozilla/servo/wiki/Meeting-2014-06-23#devtools [2] http://remotedebug.org/ _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
