1415137 - Group's vertical line is moved one pixel

Status: RESOLVED FIXED

(DevTools :: Console, enhancement)

Description

[Jan Honza Odvarko [:Honza] (always need-info? me)]

This is a follow up for bug 1409413 comment #41

Group's vertical line is moved one pixel to the left.

Honza

Comment 1

[Jan Honza Odvarko [:Honza] (always need-info? me)]

Attachment: Bug 1415137 - Group's vertical line is moved one pixel;

Review commit: https://reviewboard.mozilla.org/r/197114/diff/#index_header
See other reviews: https://reviewboard.mozilla.org/r/197114/

Comment 2

[Jan Honza Odvarko [:Honza] (always need-info? me)]

@Nicolas: the issue is caused by the following rule (which is now missing):

* {
  box-sizing: border-box;
}

It was defined in netmonitor.css, but netmonitor.css isn't included in webconsole anymore.

See the patch

Honza

Comment 3

[Nicolas Chevobbe [:nchevobbe]]

Comment on attachment 8925894 [details]
Bug 1415137 - Group's vertical line is moved one pixel;

https://reviewboard.mozilla.org/r/197114/#review202224

Looks like a reasonable change

Comment 4

[Pulsebot]

Pushed by [e-mail]:
https://hg.mozilla.org/integration/autoland/rev/969d528d0de8
Group's vertical line is moved one pixel; r=nchevobbe

Comment 5

[Eliza Balazs [:ebalazs_]]

https://hg.mozilla.org/mozilla-central/rev/969d528d0de8