@@ -55,8 +55,8 @@ MouseArea {
56 function updateNormalGeometry() {
56 function updateNormalGeometry() {
57 if (root.target.state == "normal") {
57 if (root.target.state == "normal") {
58− normalX = root.target.requestedX
58+ normalX = root.target.windowedX
59− normalY = root.target.requestedY
59+ normalY = root.target.windowedY
60 normalWidth = root.target.width
60 normalWidth = root.target.width
61 normalHeight = root.target.height
61 normalHeight = root.target.height
@@ -73,16 +73,16 @@ MouseArea {
74 function loadWindowState() {
74 function loadWindowState() {
75 var windowGeometry = windowStateStorage.getGeometry(root.windowId,
75 var windowGeometry = windowStateStorage.getGeometry(root.windowId,
76− Qt.rect(target.requestedX, target.requestedY, defaultWidth, defaultHeight));
76+ Qt.rect(target.windowedX, target.windowedY, defaultWidth, defaultHeight));
79 print("loading Window state!", root.windowId, windowGeometry.width, windowGeometry.height)
79 print("loading Window state!", root.windowId, windowGeometry.width, windowGeometry.height)
80− target.requestedWidth = Qt.binding(function() { return Math.min(Math.max(windowGeometry.width, d.minimumWidth), screenWidth - root.leftMargin); });
80+ target.windowedWidth = Qt.binding(function() { return Math.min(Math.max(windowGeometry.width, d.minimumWidth), screenWidth - root.leftMargin); });
81− target.requestedHeight = Qt.binding(function() { return Math.min(Math.max(windowGeometry.height, d.minimumHeight),
81+ target.windowedHeight = Qt.binding(function() { return Math.min(Math.max(windowGeometry.height, d.minimumHeight),
82 root.screenHeight - (target.fullscreen ? 0 : PanelState.panelHeight)); });
82 root.screenHeight - (target.fullscreen ? 0 : PanelState.panelHeight)); });
83− target.requestedX = Qt.binding(function() { return Math.max(Math.min(windowGeometry.x, root.screenWidth - root.leftMargin - target.requestedWidth),
83+ target.windowedX = Qt.binding(function() { return Math.max(Math.min(windowGeometry.x, root.screenWidth - root.leftMargin - target.windowedWidth),
84 (target.fullscreen ? 0 : root.leftMargin)); });
84 (target.fullscreen ? 0 : root.leftMargin)); });
85− target.requestedY = Qt.binding(function() { return Math.max(Math.min(windowGeometry.y, root.screenHeight - target.requestedHeight), PanelState.panelHeight); });
85+ target.windowedY = Qt.binding(function() { return Math.max(Math.min(windowGeometry.y, root.screenHeight - target.windowedHeight), PanelState.panelHeight); });
87 var windowState = windowStateStorage.getState(root.windowId, WindowStateStorage.WindowStateNormal)
87 var windowState = windowStateStorage.getState(root.windowId, WindowStateStorage.WindowStateNormal)
88 switch (windowState) {
88 switch (windowState) {
@@ -124,28 +124,28 @@ MouseArea {
125 readonly property int minimumWidth: root.target ? Math.max(root.minWidth, root.target.minimumWidth) : root.minWidth
125 readonly property int minimumWidth: root.target ? Math.max(root.minWidth, root.target.minimumWidth) : root.minWidth
126 onMinimumWidthChanged: {
126 onMinimumWidthChanged: {
127− if (target.requestedWidth < minimumWidth) {
127+ if (target.windowedWidth < minimumWidth) {
128− target.requestedWidth = minimumWidth;
128+ target.windowedWidth = minimumWidth;
131 readonly property int minimumHeight: root.target ? Math.max(root.minHeight, root.target.minimumHeight) : root.minHeight
131 readonly property int minimumHeight: root.target ? Math.max(root.minHeight, root.target.minimumHeight) : root.minHeight
132 onMinimumHeightChanged: {
132 onMinimumHeightChanged: {
133− if (target.requestedHeight < minimumHeight) {
133+ if (target.windowedHeight < minimumHeight) {
134− target.requestedHeight = minimumHeight;
134+ target.windowedHeight = minimumHeight;
137 readonly property int maximumWidth: root.target && root.target.maximumWidth >= minimumWidth && root.target.maximumWidth > 0
137 readonly property int maximumWidth: root.target && root.target.maximumWidth >= minimumWidth && root.target.maximumWidth > 0
138 ? root.target.maximumWidth : maxSafeInt
138 ? root.target.maximumWidth : maxSafeInt
139 onMaximumWidthChanged: {
139 onMaximumWidthChanged: {
140− if (target.requestedWidth > maximumWidth) {
140+ if (target.windowedWidth > maximumWidth) {
141− target.requestedWidth = maximumWidth;
141+ target.windowedWidth = maximumWidth;
144 readonly property int maximumHeight: root.target && root.target.maximumHeight >= minimumHeight && root.target.maximumHeight > 0
144 readonly property int maximumHeight: root.target && root.target.maximumHeight >= minimumHeight && root.target.maximumHeight > 0
145 ? root.target.maximumHeight : maxSafeInt
145 ? root.target.maximumHeight : maxSafeInt
146 onMaximumHeightChanged: {
146 onMaximumHeightChanged: {
147− if (target.requestedHeight > maximumHeight) {
147+ if (target.windowedHeight > maximumHeight) {
148− target.requestedHeight = maximumHeight;
148+ target.windowedHeight = maximumHeight;
151 readonly property int widthIncrement: {
151 readonly property int widthIncrement: {
@@ -260,8 +260,8 @@ MouseArea {
260 var pos = mapToItem(root.target.parent, mouseX, mouseY);
260 var pos = mapToItem(root.target.parent, mouseX, mouseY);
261 d.startMousePosX = pos.x;
261 d.startMousePosX = pos.x;
262 d.startMousePosY = pos.y;
262 d.startMousePosY = pos.y;
263− d.startX = target.requestedX;
263+ d.startX = target.windowedX;
264− d.startY = target.requestedY;
264+ d.startY = target.windowedY;
265 d.startWidth = target.width;
265 d.startWidth = target.width;
266 d.startHeight = target.height;
266 d.startHeight = target.height;
267 d.currentWidth = target.width;
267 d.currentWidth = target.width;
@@ -298,53 +298,53 @@ MouseArea {
299 if (d.leftBorder) {
299 if (d.leftBorder) {
300 var newTargetX = d.startX + deltaX;
300 var newTargetX = d.startX + deltaX;
301− var rightBorderX = target.requestedX + target.width;
301+ var rightBorderX = target.windowedX + target.width;
302 if (rightBorderX > newTargetX + d.minimumWidth) {
302 if (rightBorderX > newTargetX + d.minimumWidth) {
303 if (rightBorderX < newTargetX + d.maximumWidth) {
303 if (rightBorderX < newTargetX + d.maximumWidth) {
304− target.requestedWidth = rightBorderX - newTargetX;
304+ target.windowedWidth = rightBorderX - newTargetX;
306− target.requestedWidth = d.maximumWidth;
306+ target.windowedWidth = d.maximumWidth;
309− target.requestedWidth = d.minimumWidth;
309+ target.windowedWidth = d.minimumWidth;
312 } else if (d.rightBorder) {
312 } else if (d.rightBorder) {
313 var newWidth = d.startWidth + deltaX;
313 var newWidth = d.startWidth + deltaX;
314 if (newWidth > d.minimumWidth) {
314 if (newWidth > d.minimumWidth) {
315 if (newWidth < d.maximumWidth) {
315 if (newWidth < d.maximumWidth) {
316− target.requestedWidth = newWidth;
316+ target.windowedWidth = newWidth;
318− target.requestedWidth = d.maximumWidth;
318+ target.windowedWidth = d.maximumWidth;
321− target.requestedWidth = d.minimumWidth;
321+ target.windowedWidth = d.minimumWidth;
325 if (d.topBorder) {
325 if (d.topBorder) {
326 var newTargetY = Math.max(d.startY + deltaY, PanelState.panelHeight); // disallow resizing up past Panel
326 var newTargetY = Math.max(d.startY + deltaY, PanelState.panelHeight); // disallow resizing up past Panel
327− var bottomBorderY = target.requestedY + target.height;
327+ var bottomBorderY = target.windowedY + target.height;
328 if (bottomBorderY > newTargetY + d.minimumHeight) {
328 if (bottomBorderY > newTargetY + d.minimumHeight) {
329 if (bottomBorderY < newTargetY + d.maximumHeight) {
329 if (bottomBorderY < newTargetY + d.maximumHeight) {
330− target.requestedHeight = bottomBorderY - newTargetY;
330+ target.windowedHeight = bottomBorderY - newTargetY;
332− target.requestedHeight = d.maximumHeight;
332+ target.windowedHeight = d.maximumHeight;
335− target.requestedHeight = d.minimumHeight;
335+ target.windowedHeight = d.minimumHeight;
338 } else if (d.bottomBorder) {
338 } else if (d.bottomBorder) {
339 var newHeight = d.startHeight + deltaY;
339 var newHeight = d.startHeight + deltaY;
340 if (newHeight > d.minimumHeight) {
340 if (newHeight > d.minimumHeight) {
341 if (newHeight < d.maximumHeight) {
341 if (newHeight < d.maximumHeight) {
342− target.requestedHeight = newHeight;
342+ target.windowedHeight = newHeight;
344− target.requestedHeight = d.maximumHeight;
344+ target.windowedHeight = d.maximumHeight;
347− target.requestedHeight = d.minimumHeight;
347+ target.windowedHeight = d.minimumHeight;
@@ -353,13 +353,13 @@ MouseArea {
353 target: root.target
353 target: root.target
354 onWidthChanged: {
354 onWidthChanged: {
355 if (d.moveLeftBorder) {
355 if (d.moveLeftBorder) {
356− target.requestedX += d.currentWidth - target.width;
356+ target.windowedX += d.currentWidth - target.width;
358 d.currentWidth = target.width;
358 d.currentWidth = target.width;
360 onHeightChanged: {
360 onHeightChanged: {
361 if (d.moveTopBorder) {
361 if (d.moveTopBorder) {
362− target.requestedY += d.currentHeight - target.height;
362+ target.windowedY += d.currentHeight - target.height;
364 d.currentHeight = target.height;
364 d.currentHeight = target.height;