Ubuntu
ubuntu-ui-toolkit package

  1. Bug #1345775
  2. Comment #5

Comment 5 for bug 1345775

Revision history for this message
Tim Peeters (tpeeters) wrote :

PageHeadState is now deprecated. Instead, a different Page.header can be set. See https://developer.ubuntu.com/en/blog/2016/02/24/pageheader-tutorial/