Skip to content

Instantly share code, notes, and snippets.

@mmtrt
Last active October 5, 2023 08:36
Show Gist options
  • Save mmtrt/0224f0cf70ba9ac6ddd090ac8a3614e4 to your computer and use it in GitHub Desktop.
Save mmtrt/0224f0cf70ba9ac6ddd090ac8a3614e4 to your computer and use it in GitHub Desktop.
diff --color -ru a/Panel.qml b/Panel.qml
--- a/Panel.qml 2021-01-14 18:25:16.111002000 +0200
+++ b/Panel.qml 2021-01-18 01:02:19.474405133 +0200
@@ -333,7 +333,8 @@
id: panelTitleHolder
anchors {
left: parent.left
- leftMargin: units.gu(1)
+ // HAX: extra margin for left side of curved screen corners
+ leftMargin: units.gu(1.2)
right: __indicators.left
rightMargin: units.gu(1)
}
diff --color -ru a/PanelBar.qml b/PanelBar.qml
--- a/PanelBar.qml 2021-01-14 18:25:16.111002000 +0200
+++ b/PanelBar.qml 2021-01-18 01:03:08.354367701 +0200
@@ -194,6 +194,9 @@
rotation: root.alignment != Qt.AlignRight ? 0 : 180
anchors.fill: parent
+ // HAX: offset items to match expanded panel mode while oriented upright
+ // FIXME: make it possible to scroll using the empty space above
+ anchors.topMargin: (expanded && shell.orientationAngle == 0) ? 80 : 0
contentWidth: row.width
contentX: d.combinedOffset
interactive: false
diff --color -ru a/PanelMenu.qml b/PanelMenu.qml
--- a/PanelMenu.qml 2021-01-14 18:25:16.111002000 +0200
+++ b/PanelMenu.qml 2021-01-18 01:03:28.394353418 +0200
@@ -178,6 +178,8 @@
anchors {
left: parent.left
right: parent.right
+ // HAX: extra margin for right side of curved screen corners
+ rightMargin: expanded ? 0 : units.gu(1.2)
}
expanded: false
enableLateralChanges: false
diff --color -ru a/Shell.qml b/Shell.qml
--- a/Shell.qml 2021-01-14 18:25:16.111002000 +0200
+++ b/Shell.qml 2021-01-18 01:04:10.604325216 +0200
@@ -543,8 +543,9 @@
anchors.fill: parent //because this draws indicator menus
mode: shell.usageScenario == "desktop" ? "windowed" : "staged"
- minimizedPanelHeight: units.gu(3)
- expandedPanelHeight: units.gu(7)
+ // HAX: match panel height with notch & add extra space for it in expanded mode
+ minimizedPanelHeight: units.gu(4.6)
+ expandedPanelHeight: units.gu(4.8) + (shell.orientationAngle == 0 ? minimizedPanelHeight : 0)
applicationMenuContentX: launcher.lockedVisible ? launcher.panelWidth : 0
indicators {
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment