mirror of
https://github.com/servo/servo.git
synced 2025-08-05 13:40:08 +01:00
UWP: rely more on servo preferences
This commit is contained in:
parent
2c36754bf7
commit
9174b201b0
4 changed files with 29 additions and 27 deletions
|
@ -661,6 +661,8 @@ void ServoControl::OnServoDevtoolsStarted(bool success, const unsigned int port,
|
|||
hstring token) {
|
||||
RunOnUIThread([=] {
|
||||
auto status = success ? DevtoolsStatus::Running : DevtoolsStatus::Failed;
|
||||
// This port works, let's save it for future use.
|
||||
Servo::SetIntPref(L"devtools.server.port", port);
|
||||
mOnDevtoolsStatusChangedEvent(status, port, token);
|
||||
});
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue