@@ -431,34 +431,37 @@ Rectangle {
434+ // TODO: This is the bar for the currently selected workspace
435+ // Enable this once the workspace stuff is implemented
434− Rectangle {
436+// Rectangle {
435− anchors { left: parent.left; right: parent.right; bottom: parent.bottom }
437+// anchors { left: parent.left; right: parent.right; bottom: parent.bottom }
436− height: units.dp(2)
438+// height: units.dp(2)
437− color: UbuntuColors.orange
439+// color: UbuntuColors.orange
438− visible: index == 0 // TODO: should be active workspace index
440+// visible: index == 0 // TODO: should be active workspace index
445+ // TODO: This is the "new workspace" button. Enable this once workspaces are implemented
444− Layout.fillHeight: true
447+// Layout.fillHeight: true
445− Layout.preferredWidth: ((height - units.gu(6)) * root.width / root.height)
448+// Layout.preferredWidth: ((height - units.gu(6)) * root.width / root.height)
446− Rectangle {
449+// Rectangle {
447− anchors {
450+// anchors {
448− left: parent.left
451+// left: parent.left
449− right: parent.right
452+// right: parent.right
450− verticalCenter: parent.verticalCenter
453+// verticalCenter: parent.verticalCenter
452− height: parent.height * 0.75
455+// height: parent.height * 0.75
453− color: "#22ffffff"
456+// color: "#22ffffff"
455− Label {
458+// Label {
456− anchors.centerIn: parent
459+// anchors.centerIn: parent
457− font.pixelSize: parent.height / 2
460+// font.pixelSize: parent.height / 2
458− text: "+"
461+// text: "+"
462 Item { Layout.fillWidth: true }
465 Item { Layout.fillWidth: true }