Ubuntu
light-themes package

  1. Bug #800315
  2. Comment #11

Comment 11 for bug 800315

Revision history for this message
Timo Kluck (tkluck) wrote :

Andrea: Thanks for your comments!

1) yes, this was a mistake.
2) the new patch implements what you suggest.