2 * Copyright (C) 2017 Canonical Ltd.
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License as published by
6 * the Free Software Foundation; version 3.
8 * This program is distributed in the hope that it will be useful,
9 * but WITHOUT ANY WARRANTY; without even the implied warranty of
10 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11 * GNU General Public License for more details.
13 * You should have received a copy of the GNU General Public License
14 * along with this program. If not, see <http://www.gnu.org/licenses/>.
18import Lomiri.Components 1.3
19import Lomiri.Components.Popups 1.3
20import WindowManager 1.0
21import QtMir.Application 0.1
27 property string background
29 property var screensProxy: Screens.createProxy();
31 property QtObject activeWorkspace: null
37 anchors.bottom: parent.bottom
38 anchors.horizontalCenter: parent.horizontalCenter
39 Behavior on anchors.horizontalCenterOffset { NumberAnimation { duration: LomiriAnimation.SlowDuration } }
42 property var selectedIndex: undefined
48 height: root.height - units.gu(6)
49 width: workspaces.width
53 anchors { left: parent.left; top: parent.top; right: parent.right }
57 property bool isCurrent: {
58 // another screen is selected.
59 if (row.selectedIndex != undefined && row.selectedIndex != index) return false;
61 // this screen is active.
62 if (WMScreen.active && WMScreen.isSameAs(model.screen) && WMScreen.currentWorkspace.isSameAs(activeWorkspace)) return true;
63 if (model.screen.workspaces.indexOf(activeWorkspace) >= 0) return true;
69 property bool isSelected: screenMA.containsMouse
70 onIsSelectedChanged: {
72 row.selectedIndex = Qt.binding(function() { return index; });
73 } else if (row.selectedIndex === index) {
74 row.selectedIndex = undefined;
80 backgroundColor: "white"
81 opacity: header.isCurrent || header.isSelected ? 1.0 : 0.5
89 workspaces.workspaceModel.insert(workspaces.workspaceModel.count, {text: drag.source.text})
90 drag.source.inDropArea = true;
94 workspaces.workspaceModel.remove(workspaces.workspaceModel.count - 1, 1)
95 drag.source.inDropArea = false;
99 drag.source.inDropArea = false;
105 anchors.margins: units.gu(1)
108 text: model.screen.name
109 color: header.isCurrent || header.isSelected ? "black" : "white"
113 text: model.screen.outputTypeName
114 color: header.isCurrent || header.isSelected ? "black" : "white"
119 text: screen.availableModes[screen.currentModeIndex].size.width + "x" + screen.availableModes[screen.currentModeIndex].size.height
120 color: header.isCurrent || header.isSelected ? "black" : "white"
133 source: "image://theme/select"
134 color: header.isCurrent || header.isSelected ? "black" : "white"
135 visible: model.screen.active
144 var obj = screensMenuComponent.createObject(header)
145 obj.open(mouseX, mouseY)
150 id: screensMenuComponent
154 height: contentColumn.childrenRect.height
155 backgroundColor: "white"
157 function open(mouseX, mouseY) {
158 x = Math.max(0, Math.min(mouseX - width / 2, parent.width - width))
159 y = mouseY + units.gu(1)
165 screensMenu.destroy()
173 height: layout.height
174 highlightColor: "transparent"
177 title.text: qsTr("Add workspace")
181 screen.workspaces.addWorkspace();
182 Screens.sync(root.screensProxy);
183 screensMenu.destroy();
193 height: parent.height - header.height - units.gu(2)
196 if (screensProxy.count == 1) {
197 width = Math.min(implicitWidth, root.width - units.gu(8));
199 width = Math.min(implicitWidth, model.screen.active ? root.width - units.gu(48) : units.gu(40))
201 return Math.max(workspaces.minimumWidth, width);
204 Behavior on width { LomiriNumberAnimation {} }
205 anchors.bottom: parent.bottom
206 anchors.bottomMargin: units.gu(1)
207 anchors.horizontalCenter: parent.horizontalCenter
209 background: root.background
211 workspaceModel: model.screen.workspaces
212 activeWorkspace: root.activeWorkspace
215 onCommitScreenSetup: Screens.sync(root.screensProxy)
216 onCloseSpread: root.closeSpread();
219 root.activeWorkspace = workspace;
227 anchors { left: parent.left; top: parent.top; bottom: parent.bottom; topMargin: units.gu(6); bottomMargin: units.gu(1) }
230 visible: (row.width - root.width + units.gu(10)) / 2 - row.anchors.horizontalCenterOffset > units.gu(5)
235 onPressed: mouse.accepted = false;
240 keys: ["application", "workspace"]
244 anchors { right: parent.right; top: parent.top; bottom: parent.bottom; topMargin: units.gu(6); bottomMargin: units.gu(1) }
247 visible: (row.width - root.width + units.gu(10)) / 2 + row.anchors.horizontalCenterOffset > units.gu(5)
252 onPressed: mouse.accepted = false;
255 id: rightFakeDropArea
257 keys: ["application", "workspace"]
262 running: leftScrollArea.containsMouse || rightScrollArea.containsMouse || leftFakeDropArea.containsDrag || rightFakeDropArea.containsDrag
263 interval: LomiriAnimation.SlowDuration
264 triggeredOnStart: true
266 var newOffset = row.anchors.horizontalCenterOffset;
267 var maxOffset = Math.max((row.width - root.width + units.gu(10)) / 2, 0);
268 if (leftScrollArea.containsMouse || leftFakeDropArea.containsDrag) {
269 newOffset += units.gu(20)
271 newOffset -= units.gu(20)
273 newOffset = Math.max(-maxOffset, Math.min(maxOffset, newOffset));
274 row.anchors.horizontalCenterOffset = newOffset;