1056543 - Entire tab bar should be usable for resizing the toolbox

Status: NEW

(DevTools :: Framework, defect)

Description

[Dmitry Petrov]

Attachment: screen1.jpg

User Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:33.0) Gecko/20100101 Firefox/33.0 (Beta/Release)
Build ID: 20140820004001

Steps to reproduce:

1. Open dev tools
2. Press mouse button on the top toolbar and hold it (see screenshot 1)
3. Move the mouse.

System: Mac OS X


Actual results:

Whole browser window got moved.


Expected results:

The most common case might be when you want to just resize dev tools window. To actually do it one has to precisely click on the one-two pixel wide line on the top of the dev toolbars window (see screenshot 2, cursor image is wrong due way how mac os x grab utility works) which is much harder to do than just clicking on the top panel.

Comment 1

[Dmitry Petrov]

Sorry, I couldn't attach second screenshot, but anyway the only thing it shows is the mouse pointer positioned exactly over the top border of the dev tools.

Comment 2

[Paul Rouget [:paul]]

I like this idea.

Comment 3

[Brian Grinstead [:bgrins]]

This could also take care of the un-resizable issue that can happen when the toolbox height reaches the browser height in Bug 971129

Comment 4

[Brian Grinstead [:bgrins]]

I don't know how this would best be implemented.  Right now it is using a splitter for the 2 or 3 px that are grabbable, but I don't think we could have a splitter that takes up all the space behind any of the other controls on the tab bar.  Plus, the tab bar is inside of the toolbox.xul frame which is one of the elements being split.

Comment 5

[Girish Sharma [:Optimizer]]

Has to be done via normal mouse down, mouse move cycle and resizing the browser and the toolbox via JS.