because topMargin should be available for the dev to use it for whatever he needs it to. The developer should not have to mind about setting it to accomodate a behaviour that is handled by PageHeader.
So, on one side, you have to make space for the header, on the other side, you should (must, I'd say) still let the developer decide a custom topMargin to implement whatever usecase he needs it for -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1572525 Title: [regression] Double header height is set as flickable topMargin To manage notifications about this bug go to: https://bugs.launchpad.net/canonical-devices-system-image/+bug/1572525/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
