Ubuntu
ubuntu-ui-toolkit package

  1. Vivid (15.04)
  2. Bug #1317903
  3. Comment #2

Comment 2 for bug 1317903

Revision history for this message
Tim Peeters (tpeeters) wrote : Re: [Header] Big titles do not get cliped

should we simply clip the title if there is not enough space?