Adjust to Kirigami API changes to hide header bar again.
Description
Description
Details
Details
- Committed
hein Jul 3 2018, 1:22 PM - Parents
- R7:b164ed14758e: Fix build - this was a mistake from a wrong rebase
- Branches
- Unknown
- Tags
hein | Jul 3 2018, 1:22 PM |