mirror of
https://github.com/servo/servo.git
synced 2025-08-05 13:40:08 +01:00
Make cached messages appear in FF's devtools.
This commit is contained in:
parent
f04779f398
commit
81c0d32a04
3 changed files with 66 additions and 42 deletions
|
@ -175,32 +175,37 @@ bitflags! {
|
|||
}
|
||||
|
||||
#[derive(RustcEncodable)]
|
||||
pub struct PageError {
|
||||
pub _type: String,
|
||||
pub errorMessage: String,
|
||||
pub sourceName: String,
|
||||
pub lineText: String,
|
||||
pub lineNumber: u32,
|
||||
pub columnNumber: u32,
|
||||
pub category: String,
|
||||
pub timeStamp: u64,
|
||||
pub error: bool,
|
||||
pub warning: bool,
|
||||
pub exception: bool,
|
||||
pub strict: bool,
|
||||
pub private: bool,
|
||||
}
|
||||
|
||||
#[derive(RustcEncodable)]
|
||||
pub struct ConsoleAPI {
|
||||
pub _type: String,
|
||||
pub level: String,
|
||||
pub filename: String,
|
||||
pub lineNumber: u32,
|
||||
pub functionName: String,
|
||||
pub timeStamp: u64,
|
||||
pub private: bool,
|
||||
pub arguments: Vec<String>,
|
||||
}
|
||||
|
||||
pub enum CachedConsoleMessage {
|
||||
PageError {
|
||||
__type__: String,
|
||||
errorMessage: String,
|
||||
sourceName: String,
|
||||
lineText: String,
|
||||
lineNumber: u32,
|
||||
columnNumber: u32,
|
||||
category: String,
|
||||
timeStamp: u64,
|
||||
error: bool,
|
||||
warning: bool,
|
||||
exception: bool,
|
||||
strict: bool,
|
||||
private: bool,
|
||||
},
|
||||
ConsoleAPI {
|
||||
__type__: String,
|
||||
level: String,
|
||||
filename: String,
|
||||
lineNumber: u32,
|
||||
functionName: String,
|
||||
timeStamp: u64,
|
||||
private: bool,
|
||||
arguments: Vec<String>,
|
||||
},
|
||||
PageError(PageError),
|
||||
ConsoleAPI(ConsoleAPI),
|
||||
}
|
||||
|
||||
#[derive(Clone)]
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue