GNOME Panel

  1. Bug #320223
  2. Comment #3

Comment 3 for bug 320223

Revision history for this message
Michael Terry (mterry) wrote :

Yeah, that's fine. I agree it's a minor improvement, and a bug a user is unlikely to hit.