mirror of
https://github.com/servo/servo.git
synced 2025-08-03 12:40:06 +01:00
auto merge of #5229 : hsvalava/servo/m1503, r=jdm
Fixing ConsoleMsg for console.log messages in the Developer Tools web console.
This commit is contained in:
commit
ab8d43910c
3 changed files with 17 additions and 9 deletions
|
@ -122,6 +122,7 @@ impl Decodable for Modification {
|
|||
//TODO: Include options for Warn, Debug, Info, Error messages from Console
|
||||
#[derive(Clone)]
|
||||
pub enum ConsoleMessage {
|
||||
LogMessage(String),
|
||||
// Log: message, filename, line number, column number
|
||||
LogMessage(String, String, u32, u32),
|
||||
//WarnMessage(String),
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue