mirror of
https://github.com/servo/servo.git
synced 2025-07-16 20:03:39 +01:00
Chore: cleanup unused EmbedderMsg::WebDriverCommand
(#37979)
Also fix doc for `WebDriverCommandMsg::GetWindowRect`. Testing: No behaviour change. Signed-off-by: Euclid Ye <yezhizhenjiakang@gmail.com>
This commit is contained in:
parent
a475175949
commit
827261ab03
4 changed files with 1 additions and 4 deletions
|
@ -246,7 +246,6 @@ mod from_script {
|
||||||
Self::FinishJavaScriptEvaluation(..) => {
|
Self::FinishJavaScriptEvaluation(..) => {
|
||||||
target_variant!("FinishJavaScriptEvaluation")
|
target_variant!("FinishJavaScriptEvaluation")
|
||||||
},
|
},
|
||||||
Self::WebDriverCommand(..) => target_variant!("WebDriverCommand"),
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
|
@ -998,7 +998,6 @@ impl Servo {
|
||||||
webview.delegate().show_form_control(webview, form_control);
|
webview.delegate().show_form_control(webview, form_control);
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
_ => {},
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -425,7 +425,6 @@ pub enum EmbedderMsg {
|
||||||
JavaScriptEvaluationId,
|
JavaScriptEvaluationId,
|
||||||
Result<JSValue, JavaScriptEvaluationError>,
|
Result<JSValue, JavaScriptEvaluationError>,
|
||||||
),
|
),
|
||||||
WebDriverCommand(WebDriverCommandMsg),
|
|
||||||
}
|
}
|
||||||
|
|
||||||
impl Debug for EmbedderMsg {
|
impl Debug for EmbedderMsg {
|
||||||
|
|
|
@ -40,7 +40,7 @@ pub enum WebDriverCommandMsg {
|
||||||
/// Used in the initialization of the WebDriver server to set the sender for sending responses
|
/// Used in the initialization of the WebDriver server to set the sender for sending responses
|
||||||
/// back to the WebDriver client. It is set to constellation for now
|
/// back to the WebDriver client. It is set to constellation for now
|
||||||
SetWebDriverResponseSender(IpcSender<WebDriverCommandResponse>),
|
SetWebDriverResponseSender(IpcSender<WebDriverCommandResponse>),
|
||||||
/// Get the window size.
|
/// Get the window rectangle.
|
||||||
GetWindowRect(WebViewId, IpcSender<DeviceIndependentIntRect>),
|
GetWindowRect(WebViewId, IpcSender<DeviceIndependentIntRect>),
|
||||||
/// Get the viewport size.
|
/// Get the viewport size.
|
||||||
GetViewportSize(WebViewId, IpcSender<Size2D<u32, DevicePixel>>),
|
GetViewportSize(WebViewId, IpcSender<Size2D<u32, DevicePixel>>),
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue