mirror of
https://github.com/servo/servo.git
synced 2025-06-06 16:45:39 +00:00
Disable as many broken devtools panels as possible.
This commit is contained in:
parent
d028d71fe9
commit
27974457cd
2 changed files with 6 additions and 6 deletions
|
@ -249,10 +249,10 @@ impl RootActor {
|
|||
from: "root".to_owned(),
|
||||
applicationType: "browser".to_owned(),
|
||||
traits: ActorTraits {
|
||||
sources: true,
|
||||
sources: false,
|
||||
highlightable: true,
|
||||
customHighlighters: true,
|
||||
networkMonitor: true,
|
||||
networkMonitor: false,
|
||||
},
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue