Ubuntu
gnome-panel package

  1. Bug #87967
  2. Comment #3

Comment 3 for bug 87967

Revision history for this message
Sebastien Bacher (seb128) wrote :

Thank you for your bug. We don't want to divert from upstream for a such change, and I'm not sure than a little detail like this one is worth a configuration option. Closing the request, we don't intend to write a patch for it