mirror of
https://github.com/servo/servo.git
synced 2025-07-28 09:40:33 +01:00
Completed implementation of devtools' getLayout
.
This commit is contained in:
parent
9ab2da3cd1
commit
0785d91ae4
13 changed files with 225 additions and 42 deletions
|
@ -157,10 +157,39 @@ pub enum TimelineMarkerType {
|
|||
/// The properties of a DOM node as computed by layout.
|
||||
#[derive(Deserialize, Serialize)]
|
||||
pub struct ComputedNodeLayout {
|
||||
pub display: String,
|
||||
pub position: String,
|
||||
pub zIndex: String,
|
||||
pub boxSizing: String,
|
||||
|
||||
pub autoMargins: AutoMargins,
|
||||
pub marginTop: String,
|
||||
pub marginRight: String,
|
||||
pub marginBottom: String,
|
||||
pub marginLeft: String,
|
||||
|
||||
pub borderTopWidth: String,
|
||||
pub borderRightWidth: String,
|
||||
pub borderBottomWidth: String,
|
||||
pub borderLeftWidth: String,
|
||||
|
||||
pub paddingTop: String,
|
||||
pub paddingRight: String,
|
||||
pub paddingBottom: String,
|
||||
pub paddingLeft: String,
|
||||
|
||||
pub width: f32,
|
||||
pub height: f32,
|
||||
}
|
||||
|
||||
#[derive(Deserialize, Serialize)]
|
||||
pub struct AutoMargins {
|
||||
pub top: bool,
|
||||
pub right: bool,
|
||||
pub bottom: bool,
|
||||
pub left: bool,
|
||||
}
|
||||
|
||||
/// Messages to process in a particular script thread, as instructed by a devtools client.
|
||||
#[derive(Deserialize, Serialize)]
|
||||
pub enum DevtoolScriptControlMsg {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue