Adjust to Kirigami API changes to hide header bar again.

Authored by hein on Jul 3 2018, 1:22 PM.

Description

Adjust to Kirigami API changes to hide header bar again.

Details

Committed
heinJul 3 2018, 1:22 PM
Parents
R7:b164ed14758e: Fix build - this was a mistake from a wrong rebase
Branches
Unknown
Tags
Unknown