mirror of
https://github.com/servo/servo
synced 2026-05-03 12:52:25 +02:00
6a2e4a61f7
* Devtools device description: fix the case of the 'platformversion' property
* Devtools device description: expose the properties Firefox expects for the display name and version of the server
When connecting to Servo from Firefox (about:debugging), it will display "Servo (71.0)" instead of "{$name} (${version})".
* Devtools device description: update versions to match those in the UA string
* Devtools device description: expose a property (appbuildid) Firefox expects to compare versions for compatibility (_compareVersionCompatibility function)
* Devtools device description: advertise a current platform version to remove the incompatibility warning in Firefox's about:debugging
* Devtools preference actor: fix retrieving the actual preference by its key
* Devtools preference actor: translate Firefox preference names onto the corresponding Servo preference names
* Devtools device description: downgrade the platform version to prevent a confusing warning in about:debugging if the build ID is newer than that of Firefox (likely)
* Devtools device description: add comments
* Devtools device description: use CARGO_PKG_VERSION for the user-visible version number
32 lines
713 B
TOML
32 lines
713 B
TOML
[package]
|
|
name = "devtools"
|
|
version = "0.0.1"
|
|
authors = ["The Servo Project Developers"]
|
|
license = "MPL-2.0"
|
|
edition = "2018"
|
|
publish = false
|
|
|
|
[lib]
|
|
name = "devtools"
|
|
path = "lib.rs"
|
|
|
|
[build-dependencies]
|
|
chrono = "0.4"
|
|
|
|
[dependencies]
|
|
chrono = "0.4"
|
|
crossbeam-channel = { workspace = true }
|
|
devtools_traits = { workspace = true }
|
|
embedder_traits = { workspace = true }
|
|
headers = { workspace = true }
|
|
http = { workspace = true }
|
|
ipc-channel = { workspace = true }
|
|
log = { workspace = true }
|
|
msg = { workspace = true }
|
|
serde = { workspace = true }
|
|
serde_json = { workspace = true }
|
|
servo_config = { path = "../config" }
|
|
servo_rand = { path = "../rand" }
|
|
servo_url = { path = "../url" }
|
|
uuid = { workspace = true }
|