aboutsummaryrefslogtreecommitdiffstats
path: root/scripts/kirigami.diff
AgeCommit message (Collapse)Author
2018-06-18build-system: add another Kirigami hackGravatar Dirk Hohndel
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>