2038693 - Implement "Nova borders" for DevTools toolbox

Status: RESOLVED FIXED

(DevTools :: General, task, P2)

Description

[Nicolas Chevobbe [:nchevobbe][PTO back September 7]]

See https://www.figma.com/design/XT0eDYh4RtbMNWaYQi0efM/Chrome-Sidebar-UX-Specifications--Sprint-1-?node-id=15534-124231&t=GR5ZG8JyB0tQb2SW-0

[Edit] We went with a thick border instead

Comment 1

[Nicolas Chevobbe [:nchevobbe][PTO back September 7]]

Attachment: Bug 2038693 - [devtools] Use Nova borders for DevTools toolbox. r=#devtools.

Comment 2

[Nicolas Chevobbe [:nchevobbe][PTO back September 7]]

Attachment: Bug 2038693 - [devtools] Use thick Nova borders for DevTools toolbox. r=#devtools.

Comment 3

[Pulsebot]

Pushed by [e-mail]:
https://github.com/mozilla-firefox/firefox/commit/80fca9d9b44a
https://hg.mozilla.org/integration/autoland/rev/6c6ed67b3bb1
[devtools] Use thick Nova borders for DevTools toolbox. r=devtools-reviewers,ochameau.

Comment 4

[Pulsebot]

Pushed by [e-mail]:
https://github.com/mozilla-firefox/firefox/commit/36b7a5ecc203
https://hg.mozilla.org/integration/autoland/rev/888d9cdf3325
Revert "Bug 2038693, Bug 2049244 - [devtools] Use thick Nova borders for DevTools toolbox. r=devtools-reviewers,ochameau." for causing dt failures.

Comment 5

[agoloman]

Backed out for causing dt failures.

• Backout link
• Push with failures
• Failure Log

Comment 6

[Nicolas Chevobbe [:nchevobbe][PTO back September 7]]

Looks like Nova was enabled after I push to TRY, and some tests are failing due to the new border size

Comment 7

[Pulsebot]

Pushed by [e-mail]:
https://github.com/mozilla-firefox/firefox/commit/7f460a868215
https://hg.mozilla.org/integration/autoland/rev/97e167a2a1d5
[devtools] Use thick Nova borders for DevTools toolbox. r=devtools-reviewers,ochameau.

Comment 8

[rperta]

https://hg.mozilla.org/mozilla-central/rev/97e167a2a1d5