mirror of
https://github.com/servo/servo.git
synced 2025-08-04 13:10:20 +01:00
Add console message support to devtools. Does not actually cause logging to occur in the remote console.
This commit is contained in:
parent
149053c2a7
commit
6699738cae
7 changed files with 112 additions and 16 deletions
|
@ -45,6 +45,7 @@ pub struct DevtoolsPageInfo {
|
|||
/// according to changes in the browser.
|
||||
pub enum DevtoolsControlMsg {
|
||||
NewGlobal(PipelineId, Sender<DevtoolScriptControlMsg>, DevtoolsPageInfo),
|
||||
SendConsoleMessage(PipelineId, ConsoleMessage),
|
||||
ServerExitMsg
|
||||
}
|
||||
|
||||
|
@ -123,3 +124,10 @@ impl Decodable for Modification {
|
|||
)
|
||||
}
|
||||
}
|
||||
|
||||
//TODO: Include options for Warn, Debug, Info, Error messages from Console
|
||||
#[derive(Clone)]
|
||||
pub enum ConsoleMessage {
|
||||
LogMessage(String),
|
||||
//WarnMessage(String),
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue