869174 - [style editor] Remove unused bar at top of editor

Status: RESOLVED FIXED

(DevTools :: Style Editor, defect)

Description

[Heather Arthur [:harth]]

Attachment: Screenshot showing unused bar

See the screenshot. There's a completely usused bar to the right of the [New] [Import] buttons and above the editor content. It's wasting many pixels of an already small editor space.

Comment 1

[Paul Rouget [:paul]]

Attachment: patch v0.1

Something like that? What about using this toolbar to show the matched rules (bug 869307)?

Comment 2

[Heather Arthur [:harth]]

(In reply to Paul Rouget [:paul] from comment #1)
> Created attachment 758524 [details] [diff] [review]
> patch v0.1
> 
> Something like that? What about using this toolbar to show the matched rules
> (bug 869307)?

Yeah, it could be used for that. Something smaller, like the Chrome find-in-page bar would be ideal. But this would work.

This definitely frees up some room, which is awesome. It looks a bit weird, maybe because I'm used the bar now.

Comment 3

[Heather Arthur [:harth]]

Comment on attachment 758524 [details] [diff] [review]
patch v0.1

I like it. Get's rid of the resizer as well (bug 872517)

Comment 4

[Paul Rouget [:paul]]

Comment on attachment 758524 [details] [diff] [review]
patch v0.1

I think it's actually ready for review.

Comment 6

[Paul Rouget [:paul]]

https://hg.mozilla.org/integration/fx-team/rev/8d8330b65f26

Comment 7

[Victor Porof [:vporof][:vp]]

https://hg.mozilla.org/mozilla-central/rev/8d8330b65f26