Zsombor, Functionally, there already is a header, so why should a developer need to define one explicitly? Won't explicitly defining one override the already visible header?
What I'm asking for is simply a means of ascertaining the current header's height. I believe the inability to do so, currently, is a regression. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1508363 Title: Coordinated migration to UITK 1.3 To manage notifications about this bug go to: https://bugs.launchpad.net/canonical-devices-system-image/+bug/1508363/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
