Panel height should be configurable
Reported by YannUbuntu on 2012-07-30
This bug affects 5 people
Elderly people can't increase/decrease volume easily because the top-right icons are too small.
Suggestion: increase the size of the top bar (and of the top-right icons) when selecting "Text size = BIG" in the "Universal access" settings.