|
|
|
@ -972,12 +972,12 @@ class WindowManager extends WebviewWindowHandle {
|
|
|
|
|
label: this.label,
|
|
|
|
|
value: size
|
|
|
|
|
? {
|
|
|
|
|
type: size.type,
|
|
|
|
|
data: {
|
|
|
|
|
width: size.width,
|
|
|
|
|
height: size.height,
|
|
|
|
|
},
|
|
|
|
|
}
|
|
|
|
|
type: size.type,
|
|
|
|
|
data: {
|
|
|
|
|
width: size.width,
|
|
|
|
|
height: size.height,
|
|
|
|
|
},
|
|
|
|
|
}
|
|
|
|
|
: null,
|
|
|
|
|
});
|
|
|
|
|
}
|
|
|
|
@ -1006,12 +1006,12 @@ class WindowManager extends WebviewWindowHandle {
|
|
|
|
|
label: this.label,
|
|
|
|
|
value: size
|
|
|
|
|
? {
|
|
|
|
|
type: size.type,
|
|
|
|
|
data: {
|
|
|
|
|
width: size.width,
|
|
|
|
|
height: size.height,
|
|
|
|
|
},
|
|
|
|
|
}
|
|
|
|
|
type: size.type,
|
|
|
|
|
data: {
|
|
|
|
|
width: size.width,
|
|
|
|
|
height: size.height,
|
|
|
|
|
},
|
|
|
|
|
}
|
|
|
|
|
: null,
|
|
|
|
|
});
|
|
|
|
|
}
|
|
|
|
@ -1786,11 +1786,11 @@ function mapMonitor(m: Monitor | null): Monitor | null {
|
|
|
|
|
return m === null
|
|
|
|
|
? null
|
|
|
|
|
: {
|
|
|
|
|
name: m.name,
|
|
|
|
|
scaleFactor: m.scaleFactor,
|
|
|
|
|
position: mapPhysicalPosition(m.position),
|
|
|
|
|
size: mapPhysicalSize(m.size),
|
|
|
|
|
};
|
|
|
|
|
name: m.name,
|
|
|
|
|
scaleFactor: m.scaleFactor,
|
|
|
|
|
position: mapPhysicalPosition(m.position),
|
|
|
|
|
size: mapPhysicalSize(m.size),
|
|
|
|
|
};
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
function mapPhysicalPosition(m: PhysicalPosition): PhysicalPosition {
|
|
|
|
|