dock: animate bar width change, extend dock to top of screen

shell/dock/AppletDock.qml

@@ -25,6 +25,9 @@ PanelWindow {
     anchors.right: true
     anchors.bottom: true
 
+    // Counteract the bar's exclusive zone so the dock extends to the top of the screen
+    margins.top: -S.Theme.barHeight
+
     readonly property int _dockWidth: S.Modules.dock.width ?? 300
     readonly property var _applets: S.Modules.dock.applets ?? {}
     readonly property color _accent: S.Theme.base0C

shell/modules/Bar.qml

@@ -21,6 +21,14 @@ PanelWindow {
 
     margins.right: S.DockState.reservedWidth
 
+    Behavior on margins.right {
+        enabled: !S.Theme.reducedMotion
+        NumberAnimation {
+            duration: 200
+            easing.type: Easing.OutCubic
+        }
+    }
+
     implicitHeight: S.Theme.barHeight
     exclusiveZone: implicitHeight
 

test/qmllint-baseline.txt

@@ -17,8 +17,11 @@ shell/applets/NotifApplet.qml: Unqualified access [unqualified]
 shell/applets/PowerApplet.qml: Unqualified access [unqualified]
 shell/applets/TemperatureApplet.qml: Unqualified access [unqualified]
 shell/applets/VolumeApplet.qml: Unqualified access [unqualified]
+shell/dock/AppletDock.qml: Could not find property "top". [missing-property]
 shell/dock/AppletDock.qml: Member "expanded" not found on type "QQuickItem" [missing-property]
+shell/dock/AppletDock.qml: Type margins is used but it is not resolved [unresolved-type]
 shell/dock/AppletDock.qml: Type PanelWindow is not creatable. [uncreatable-type]
+shell/dock/AppletDock.qml: unknown grouped property scope margins. [unqualified]
 shell/dock/DockEdgeTrigger.qml: Type PanelWindow is not creatable. [uncreatable-type]
 shell/lock/LockAuth.qml: Unqualified access [unqualified]
 shell/lock/Lock.qml: Unqualified access [unqualified]