On the console tab, line numbers of the console do not refresh after a resize (cf. screenshot).

This can be reproduced displaying the console with Firebug opened. When we close Firebug, more line numbers should appear but do not.
This problem only happens with Mozilla Firefox.