diff --git a/Cargo.toml b/Cargo.toml index 1373440d67e..8da115aa4b8 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -58,7 +58,7 @@ fnv = "1.0" fonts_traits = { path = "components/shared/fonts" } freetype-sys = "0.20" fxhash = "0.2" -getopts = "0.2.11" +getopts = "0.2.21" gleam = "0.15" glib = "0.19" glow = "0.16" diff --git a/ports/servoshell/prefs.rs b/ports/servoshell/prefs.rs index a602939cb65..07670c8e538 100644 --- a/ports/servoshell/prefs.rs +++ b/ports/servoshell/prefs.rs @@ -363,6 +363,13 @@ pub(crate) fn parse_command_line_arguments(args: Vec) -> ArgumentParsing "FILTER", ); + opts.optmulti( + "", + "dev-tools", + "Start the devtools on the supplied port", + "1234", + ); + opts.optflag( "", "enable-experimental-web-platform-features", @@ -506,9 +513,9 @@ pub(crate) fn parse_command_line_arguments(args: Vec) -> ArgumentParsing }) }); - if opt_match.opt_present("devtools") { + if opt_match.opt_present("dev-tools") { let port = opt_match - .opt_str("devtools") + .opt_str("dev-tools") .map(|port| { port.parse().unwrap_or_else(|err| { args_fail(&format!("Error parsing option: --devtools ({})", err))