diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2018-06-17 05:59:02 +0900 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2018-06-18 06:32:23 +0900 |
| commit | 0b16b547ae2aefb169e5221f103865e1c39a58fc (patch) | |
| tree | b40718c65b881463a39c8910eb7080d210066a86 /scripts/kirigami.diff | |
| parent | 1501c8fbc7c783e5ee716ace872565774644317d (diff) | |
| download | subsurface-0b16b547ae2aefb169e5221f103865e1c39a58fc.tar.gz | |
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>
Diffstat (limited to 'scripts/kirigami.diff')
| -rw-r--r-- | scripts/kirigami.diff | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/scripts/kirigami.diff b/scripts/kirigami.diff new file mode 100644 index 000000000..daa42841b --- /dev/null +++ b/scripts/kirigami.diff @@ -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 + } + |