mirror of
https://github.com/subsurface/subsurface.git
synced 2025-02-19 22:16:15 +00:00
build-system: add another Kirigami hack
We want to be able to roll our own banner image, logo, title, and other information in the GlobalDrawer - but Kirigami adds an ugly margin around that. This attempts to remove that margin (but for some reason there is still a margin on the left side). This requires the patch command to be installed, but because of the context sensitivity of the changes, I couldn't figure out how to do this with sed or perl (which we already require). Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
This commit is contained in:
parent
1501c8fbc7
commit
0b16b547ae
2 changed files with 28 additions and 0 deletions
20
scripts/kirigami.diff
Normal file
20
scripts/kirigami.diff
Normal file
|
@ -0,0 +1,20 @@
|
|||
diff -ur ../kirigami/src/controls/GlobalDrawer.qml mobile-widgets/qml/kirigami/src/controls/GlobalDrawer.qml
|
||||
--- ../kirigami/src/controls/GlobalDrawer.qml 2018-06-16 16:18:42.000000000 +0900
|
||||
+++ src/controls/GlobalDrawer.qml 2018-06-17 05:05:31.000000000 +0900
|
||||
@@ -249,15 +249,11 @@
|
||||
id: topContent
|
||||
spacing: 0
|
||||
- Layout.alignment: Qt.AlignHCenter
|
||||
- Layout.leftMargin: root.leftPadding
|
||||
- Layout.rightMargin: root.rightPadding
|
||||
Layout.bottomMargin: Units.smallSpacing
|
||||
- Layout.topMargin: root.topPadding
|
||||
Layout.fillWidth: true
|
||||
Layout.fillHeight: true
|
||||
//NOTE: why this? just Layout.fillWidth: true doesn't seem sufficient
|
||||
//as items are added only after this column creation
|
||||
- Layout.minimumWidth: parent.width - root.leftPadding - root.rightPadding
|
||||
+ Layout.minimumWidth: parent.width
|
||||
visible: children.length > 0 && childrenRect.height > 0
|
||||
}
|
||||
|
Loading…
Add table
Add a link
Reference in a new issue