mirror of
https://invent.kde.org/marcoa/shift-shell.git
synced 2026-04-26 14:23:09 +00:00
Fix accidental commenting
This commit is contained in:
parent
f0c756214a
commit
ad8f7cf99c
3 changed files with 143 additions and 145 deletions
|
|
@ -13,8 +13,6 @@ import org.kde.plasma.private.mobileshell 1.0 as MobileShell
|
||||||
import org.kde.plasma.private.mobileshell.state 1.0 as MobileShellState
|
import org.kde.plasma.private.mobileshell.state 1.0 as MobileShellState
|
||||||
import org.kde.phone.homescreen.halcyon 1.0 as Halcyon
|
import org.kde.phone.homescreen.halcyon 1.0 as Halcyon
|
||||||
|
|
||||||
Item {}
|
|
||||||
/*
|
|
||||||
MobileShell.HomeScreen {
|
MobileShell.HomeScreen {
|
||||||
id: root
|
id: root
|
||||||
|
|
||||||
|
|
@ -106,6 +104,6 @@ MobileShell.HomeScreen {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}*/
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -25,7 +25,7 @@ import org.kde.notificationmanager 1.0 as NotificationManager
|
||||||
|
|
||||||
Item {
|
Item {
|
||||||
id: root
|
id: root
|
||||||
/*
|
|
||||||
// only opaque if there are no maximized windows on this screen
|
// only opaque if there are no maximized windows on this screen
|
||||||
readonly property bool showingApp: visibleMaximizedWindowsModel.count > 0
|
readonly property bool showingApp: visibleMaximizedWindowsModel.count > 0
|
||||||
readonly property color backgroundColor: topPanel.colorScopeColor
|
readonly property color backgroundColor: topPanel.colorScopeColor
|
||||||
|
|
@ -160,5 +160,5 @@ Item {
|
||||||
return urgencies;
|
return urgencies;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}*/
|
}
|
||||||
}
|
}
|
||||||
|
|
|
||||||
|
|
@ -21,144 +21,144 @@ import org.kde.plasma.private.mobileshell.state 1.0 as MobileShellState
|
||||||
|
|
||||||
PlasmaCore.ColorScope {
|
PlasmaCore.ColorScope {
|
||||||
id: root
|
id: root
|
||||||
// Plasmoid.backgroundHints: PlasmaCore.Types.NoBackground
|
Plasmoid.backgroundHints: PlasmaCore.Types.NoBackground
|
||||||
//
|
|
||||||
// width: 480
|
width: 480
|
||||||
// height: PlasmaCore.Units.gridUnit * 2
|
height: PlasmaCore.Units.gridUnit * 2
|
||||||
//
|
|
||||||
// // toggle visibility of navigation bar (show, or use gestures only)
|
// toggle visibility of navigation bar (show, or use gestures only)
|
||||||
// Binding {
|
Binding {
|
||||||
// target: plasmoid.Window.window // assumed to be plasma-workspace "PanelView" component
|
target: plasmoid.Window.window // assumed to be plasma-workspace "PanelView" component
|
||||||
// property: "visibilityMode"
|
property: "visibilityMode"
|
||||||
// // 0 - VisibilityMode.NormalPanel
|
// 0 - VisibilityMode.NormalPanel
|
||||||
// // 3 - VisibilityMode.WindowsGoBelow
|
// 3 - VisibilityMode.WindowsGoBelow
|
||||||
// value: MobileShell.MobileShellSettings.navigationPanelEnabled ? 0 : 3
|
value: MobileShell.MobileShellSettings.navigationPanelEnabled ? 0 : 3
|
||||||
// }
|
}
|
||||||
//
|
|
||||||
// // we have the following scenarios:
|
// we have the following scenarios:
|
||||||
// // - system is in landscape orientation & nav panel is enabled (panel on right)
|
// - system is in landscape orientation & nav panel is enabled (panel on right)
|
||||||
// // - system is in landscape orientation & gesture mode is enabled (panel on bottom)
|
// - system is in landscape orientation & gesture mode is enabled (panel on bottom)
|
||||||
// // - system is in portrait orientation (panel on bottom)
|
// - system is in portrait orientation (panel on bottom)
|
||||||
// readonly property bool inLandscape: Screen.width > Screen.height;
|
readonly property bool inLandscape: Screen.width > Screen.height;
|
||||||
// readonly property bool isInLandscapeNavPanelMode: inLandscape && MobileShell.MobileShellSettings.navigationPanelEnabled
|
readonly property bool isInLandscapeNavPanelMode: inLandscape && MobileShell.MobileShellSettings.navigationPanelEnabled
|
||||||
//
|
|
||||||
// readonly property real navigationPanelHeight: PlasmaCore.Units.gridUnit * 2
|
readonly property real navigationPanelHeight: PlasmaCore.Units.gridUnit * 2
|
||||||
// readonly property real gesturePanelHeight: 8
|
readonly property real gesturePanelHeight: 8
|
||||||
//
|
|
||||||
// readonly property real intendedWindowThickness: MobileShell.MobileShellSettings.navigationPanelEnabled ? navigationPanelHeight : gesturePanelHeight
|
readonly property real intendedWindowThickness: MobileShell.MobileShellSettings.navigationPanelEnabled ? navigationPanelHeight : gesturePanelHeight
|
||||||
// readonly property real intendedWindowLength: isInLandscapeNavPanelMode ? Screen.height : Screen.width
|
readonly property real intendedWindowLength: isInLandscapeNavPanelMode ? Screen.height : Screen.width
|
||||||
// readonly property real intendedWindowOffset: isInLandscapeNavPanelMode ? MobileShellState.TopPanelControls.panelHeight : 0; // offset for top panel
|
readonly property real intendedWindowOffset: isInLandscapeNavPanelMode ? MobileShellState.TopPanelControls.panelHeight : 0; // offset for top panel
|
||||||
// readonly property int intendedWindowLocation: isInLandscapeNavPanelMode ? PlasmaCore.Types.RightEdge : PlasmaCore.Types.BottomEdge
|
readonly property int intendedWindowLocation: isInLandscapeNavPanelMode ? PlasmaCore.Types.RightEdge : PlasmaCore.Types.BottomEdge
|
||||||
//
|
|
||||||
// onIntendedWindowThicknessChanged: plasmoid.Window.window.thickness = intendedWindowThickness
|
onIntendedWindowThicknessChanged: plasmoid.Window.window.thickness = intendedWindowThickness
|
||||||
// onIntendedWindowLengthChanged: maximizeTimer.restart() // ensure it always takes up the full length of the screen
|
onIntendedWindowLengthChanged: maximizeTimer.restart() // ensure it always takes up the full length of the screen
|
||||||
// onIntendedWindowOffsetChanged: plasmoid.Window.window.offset = intendedWindowOffset
|
onIntendedWindowOffsetChanged: plasmoid.Window.window.offset = intendedWindowOffset
|
||||||
// onIntendedWindowLocationChanged: locationChangeTimer.restart()
|
onIntendedWindowLocationChanged: locationChangeTimer.restart()
|
||||||
//
|
|
||||||
// // use a timer so we don't have to maximize for every single pixel
|
// use a timer so we don't have to maximize for every single pixel
|
||||||
// // - improves performance if the shell is run in a window, and can be resized
|
// - improves performance if the shell is run in a window, and can be resized
|
||||||
// Timer {
|
Timer {
|
||||||
// id: maximizeTimer
|
id: maximizeTimer
|
||||||
// running: false
|
running: false
|
||||||
// interval: 100
|
interval: 100
|
||||||
// onTriggered: {
|
onTriggered: {
|
||||||
// // maximize first, then we can apply offsets (otherwise they are overridden)
|
// maximize first, then we can apply offsets (otherwise they are overridden)
|
||||||
// plasmoid.Window.window.maximize()
|
plasmoid.Window.window.maximize()
|
||||||
// plasmoid.Window.window.offset = intendedWindowOffset;
|
plasmoid.Window.window.offset = intendedWindowOffset;
|
||||||
// }
|
}
|
||||||
// }
|
}
|
||||||
//
|
|
||||||
// // use a timer so that rotation events are faster (offload the panel movement to later, after everything is figured out)
|
// use a timer so that rotation events are faster (offload the panel movement to later, after everything is figured out)
|
||||||
// Timer {
|
Timer {
|
||||||
// id: locationChangeTimer
|
id: locationChangeTimer
|
||||||
// running: false
|
running: false
|
||||||
// interval: 100
|
interval: 100
|
||||||
// onTriggered: plasmoid.Window.window.location = intendedWindowLocation
|
onTriggered: plasmoid.Window.window.location = intendedWindowLocation
|
||||||
// }
|
}
|
||||||
//
|
|
||||||
// function setWindowProperties() {
|
function setWindowProperties() {
|
||||||
// // plasmoid.Window.window is assumed to be plasma-workspace "PanelView" component
|
// plasmoid.Window.window is assumed to be plasma-workspace "PanelView" component
|
||||||
// plasmoid.Window.window.maximize(); // maximize first, then we can apply offsets (otherwise they are overridden)
|
plasmoid.Window.window.maximize(); // maximize first, then we can apply offsets (otherwise they are overridden)
|
||||||
// plasmoid.Window.window.offset = intendedWindowOffset;
|
plasmoid.Window.window.offset = intendedWindowOffset;
|
||||||
// plasmoid.Window.window.thickness = intendedWindowThickness;
|
plasmoid.Window.window.thickness = intendedWindowThickness;
|
||||||
// plasmoid.Window.window.location = intendedWindowLocation;
|
plasmoid.Window.window.location = intendedWindowLocation;
|
||||||
// }
|
}
|
||||||
//
|
|
||||||
// Connections {
|
Connections {
|
||||||
// target: plasmoid.Window.window
|
target: plasmoid.Window.window
|
||||||
//
|
|
||||||
// // HACK: There seems to be some component that overrides our initial bindings for the panel,
|
// HACK: There seems to be some component that overrides our initial bindings for the panel,
|
||||||
// // which is particularly problematic on first start (since the panel is misplaced)
|
// which is particularly problematic on first start (since the panel is misplaced)
|
||||||
// // - We set an event to override any attempts to override our bindings.
|
// - We set an event to override any attempts to override our bindings.
|
||||||
// function onLocationChanged() {
|
function onLocationChanged() {
|
||||||
// if (plasmoid.Window.window.location !== root.intendedWindowLocation) {
|
if (plasmoid.Window.window.location !== root.intendedWindowLocation) {
|
||||||
// root.setWindowProperties();
|
root.setWindowProperties();
|
||||||
// }
|
}
|
||||||
// }
|
}
|
||||||
//
|
|
||||||
// function onThicknessChanged() {
|
function onThicknessChanged() {
|
||||||
// if (plasmoid.Window.window.thickness !== root.intendedWindowThickness) {
|
if (plasmoid.Window.window.thickness !== root.intendedWindowThickness) {
|
||||||
// root.setWindowProperties();
|
root.setWindowProperties();
|
||||||
// }
|
}
|
||||||
// }
|
}
|
||||||
// }
|
}
|
||||||
//
|
|
||||||
// Component.onCompleted: setWindowProperties();
|
Component.onCompleted: setWindowProperties();
|
||||||
//
|
|
||||||
// TaskManager.VirtualDesktopInfo {
|
TaskManager.VirtualDesktopInfo {
|
||||||
// id: virtualDesktopInfo
|
id: virtualDesktopInfo
|
||||||
// }
|
}
|
||||||
//
|
|
||||||
// TaskManager.ActivityInfo {
|
TaskManager.ActivityInfo {
|
||||||
// id: activityInfo
|
id: activityInfo
|
||||||
// }
|
}
|
||||||
//
|
|
||||||
// PlasmaCore.SortFilterModel {
|
PlasmaCore.SortFilterModel {
|
||||||
// id: visibleMaximizedWindowsModel
|
id: visibleMaximizedWindowsModel
|
||||||
// filterRole: 'IsMinimized'
|
filterRole: 'IsMinimized'
|
||||||
// filterRegExp: 'false'
|
filterRegExp: 'false'
|
||||||
// sourceModel: TaskManager.TasksModel {
|
sourceModel: TaskManager.TasksModel {
|
||||||
// id: tasksModel
|
id: tasksModel
|
||||||
// filterByVirtualDesktop: true
|
filterByVirtualDesktop: true
|
||||||
// filterByActivity: true
|
filterByActivity: true
|
||||||
// filterNotMaximized: true
|
filterNotMaximized: true
|
||||||
// filterByScreen: true
|
filterByScreen: true
|
||||||
// filterHidden: true
|
filterHidden: true
|
||||||
//
|
|
||||||
// virtualDesktop: virtualDesktopInfo.currentDesktop
|
virtualDesktop: virtualDesktopInfo.currentDesktop
|
||||||
// activity: activityInfo.currentActivity
|
activity: activityInfo.currentActivity
|
||||||
//
|
|
||||||
// groupMode: TaskManager.TasksModel.GroupDisabled
|
groupMode: TaskManager.TasksModel.GroupDisabled
|
||||||
// }
|
}
|
||||||
// }
|
}
|
||||||
//
|
|
||||||
// // only opaque if there are no maximized windows on this screen
|
// only opaque if there are no maximized windows on this screen
|
||||||
// readonly property bool opaqueBar: visibleMaximizedWindowsModel.count > 0
|
readonly property bool opaqueBar: visibleMaximizedWindowsModel.count > 0
|
||||||
//
|
|
||||||
// // contrasting colour
|
// contrasting colour
|
||||||
// colorGroup: opaqueBar ? PlasmaCore.Theme.NormalColorGroup : PlasmaCore.Theme.ComplementaryColorGroup
|
colorGroup: opaqueBar ? PlasmaCore.Theme.NormalColorGroup : PlasmaCore.Theme.ComplementaryColorGroup
|
||||||
//
|
|
||||||
// // bottom navigation panel component
|
// bottom navigation panel component
|
||||||
// Component {
|
Component {
|
||||||
// id: navigationPanel
|
id: navigationPanel
|
||||||
// NavigationPanelComponent {
|
NavigationPanelComponent {
|
||||||
// taskSwitcher: MobileShellState.HomeScreenControls.taskSwitcher
|
taskSwitcher: MobileShellState.HomeScreenControls.taskSwitcher
|
||||||
// opaqueBar: root.opaqueBar
|
opaqueBar: root.opaqueBar
|
||||||
// }
|
}
|
||||||
// }
|
}
|
||||||
//
|
|
||||||
// // bottom navigation gesture area component
|
// bottom navigation gesture area component
|
||||||
// Component {
|
Component {
|
||||||
// id: navigationGesture
|
id: navigationGesture
|
||||||
// MobileShell.NavigationGestureArea {
|
MobileShell.NavigationGestureArea {
|
||||||
// taskSwitcher: MobileShellState.HomeScreenControls.taskSwitcher
|
taskSwitcher: MobileShellState.HomeScreenControls.taskSwitcher
|
||||||
// }
|
}
|
||||||
// }
|
}
|
||||||
//
|
|
||||||
// // load appropriate system navigation component
|
// load appropriate system navigation component
|
||||||
// Loader {
|
Loader {
|
||||||
// id: navigationLoader
|
id: navigationLoader
|
||||||
// anchors.fill: parent
|
anchors.fill: parent
|
||||||
// sourceComponent: MobileShell.MobileShellSettings.navigationPanelEnabled ? navigationPanel : navigationGesture
|
sourceComponent: MobileShell.MobileShellSettings.navigationPanelEnabled ? navigationPanel : navigationGesture
|
||||||
// }
|
}
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue