Mozilla Firefox

  1. Bug #1824409
  2. Comment #12

Comment 12 for bug 1824409

Revision history for this message
In , Jhofmann-d (jhofmann-d) wrote :

Let's do this after bug 1391539, otherwise we'll have to file another bug to adjust the height of this border when hovering (I'm happy to pick it up once bug 1391539 is done).