diff options
| author | bors-servo <servo-ops@mozilla.com> | 2020-07-21 03:38:10 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-21 03:38:10 -0400 |
| commit | 774673d186ecf08733f7e108a0e84d8467376b05 (patch) | |
| tree | e90daca99214d29d495b7424425bf6ea733c89f3 /components/script/dom/webgltexture.rs | |
| parent | c02da14847dd343ed91e98e9a9b753ea08ffdd05 (diff) | |
| parent | 1b0de562ed8c672dc6b61da847706ab24568c5fe (diff) | |
| download | servo-774673d186ecf08733f7e108a0e84d8467376b05.tar.gz servo-774673d186ecf08733f7e108a0e84d8467376b05.zip | |
Auto merge of #27304 - paulrouget:staticdevtoolsport, r=jdm
UWP: non random port for devtools, and support for custom UWP prefs
packages-prefs.json is now taken into account for libsimpleservo. Making it possible to have custom pref for the UWP builds, removing some weirdness in the way we handle preferences in the hololens code.
This also adds a new set of preferences to control the devtools server startup state, and make the port choice constant across sessions.
Fix #27267
Fix #22970
Diffstat (limited to 'components/script/dom/webgltexture.rs')
0 files changed, 0 insertions, 0 deletions