diff options
| author | Olivier Tilloy <olivier@tilloy.net> | 2024-05-08 06:12:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-08 04:12:18 +0000 |
| commit | 6a2e4a61f7272b02bcc93b05521e50b359357892 (patch) | |
| tree | cce293cd985e64a4423872dcc6181385a5ce88e1 /python/servo/platform/linux.py | |
| parent | ec3b3c006c6dbd870edfaa2ed48c393fecabfc3f (diff) | |
| download | servo-6a2e4a61f7272b02bcc93b05521e50b359357892.tar.gz servo-6a2e4a61f7272b02bcc93b05521e50b359357892.zip | |
Devtools device description: improve how Servo is advertised in Firefox's about:debugging (fixes #27528) (#32227)
* 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
Diffstat (limited to 'python/servo/platform/linux.py')
0 files changed, 0 insertions, 0 deletions