Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-30 10:40:27 +01:00
Code Issues Projects Releases Packages Wiki Activity
servo/components/devtools
History
Sudarsan c8d911817f preferences actor now returns real values. 
The preferences actor was previously returning mock values. This changes
picks up the pref_values from the pref_map which is global preferences
state and returns values from there.
2020-09-12 18:55:11 +08:00
..
actors preferences actor now returns real values. 2020-09-12 18:55:11 +08:00
actor.rs devtools: Track multiple clients better, and cleanup streams when a client isn't reachable. 2020-08-06 09:55:01 -04:00
Cargo.toml Configure devtools server via preferences 2020-07-17 08:31:26 +02:00
lib.rs devtools: Track multiple clients better, and cleanup streams when a client isn't reachable. 2020-08-06 09:55:01 -04:00
protocol.rs devtools: Don't panic when sending to a disconnected client fails. 2020-08-05 14:55:48 -04:00