Robin Stocker
8a5c6a0d3b
Allow to specify port with --devtools option ( fixes #3597 )
...
Note that using `servo --devtools http://example.org ` doesn't work. In
that case either the port must be specified or the option moved to the
end. This is done by getopts and is the same for other such options,
e.g. `--profile`.
2014-10-09 00:39:31 +11:00
Matt Brubeck
d2e6985ef7
Disable non_snake_case warnings in devtools
2014-09-23 11:45:08 -07:00
Keegan McAllister
a640a7c5c3
Upgrade to rustc 0.12.0-pre (4d2af3861 2014-09-17 15:51:11 +0000)
2014-09-20 13:00:06 -07:00
Josh Matthews
fa57fe890b
Enable real DOM inspector support.
2014-09-18 15:06:40 -04:00
Josh Matthews
e9c4aa534d
Implement wire protocol support for DOM inspector.
2014-09-18 15:06:40 -04:00
Josh Matthews
bb9955c281
Split devtools implementation into sensible modules.
2014-09-18 15:06:40 -04:00
Josh Matthews
cdb4037ca2
Enable executing JS snippets in the context of the main Servo window and viewing the responses from the Firefox remote console.
2014-09-18 15:06:40 -04:00
Josh Matthews
f0f7e98dfa
Dump initial prototype of devtools server into the build. Expect lies if you try to use it for anything real.
2014-09-18 15:06:40 -04:00
