mirror of
https://github.com/servo/servo.git
synced 2025-07-28 09:40:33 +01:00
Final steps
This commit is contained in:
parent
4143caaa57
commit
907322c666
7 changed files with 46 additions and 12 deletions
|
@ -36,6 +36,7 @@ use std::net::TcpStream;
|
|||
use time::Duration;
|
||||
use time::Tm;
|
||||
use url::Url;
|
||||
use util::mem::HeapSizeOf;
|
||||
|
||||
// Information would be attached to NewGlobal to be received and show in devtools.
|
||||
// Extend these fields if we need more information.
|
||||
|
@ -45,6 +46,14 @@ pub struct DevtoolsPageInfo {
|
|||
pub url: Url
|
||||
}
|
||||
|
||||
#[derive(Deserialize, HeapSizeOf, Serialize, Clone)]
|
||||
pub struct CSSError {
|
||||
pub filename: String,
|
||||
pub line: u32,
|
||||
pub column: u32,
|
||||
pub msg: String
|
||||
}
|
||||
|
||||
/// Messages to instruct the devtools server to update its known actors/state
|
||||
/// according to changes in the browser.
|
||||
pub enum DevtoolsControlMsg {
|
||||
|
@ -78,6 +87,9 @@ pub enum ScriptToDevtoolsControlMsg {
|
|||
/// An animation frame with the given timestamp was processed in a script thread.
|
||||
/// The actor with the provided name should be notified.
|
||||
FramerateTick(String, f64),
|
||||
|
||||
/// Report a CSS parse error for the given pipeline
|
||||
ReportCSSError(PipelineId, CSSError),
|
||||
}
|
||||
|
||||
/// Serialized JS return values
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue