[Webkit-unassigned] [Bug 35187] Web Inspector: can resize the main window to be smaller than the minimum docked height

Sun Jun 13 12:00:43 PDT 2010

https://bugs.webkit.org/show_bug.cgi?id=35187

Juan C. Montemayor E <jmonte03 at cs.tufts.edu> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #58598|                            |review?, commit-queue?
               Flag|                            |

--- Comment #1 from Juan C. Montemayor E <jmonte03 at cs.tufts.edu>  2010-06-13 12:00:41 PST ---
Created an attachment (id=58598)
 --> (https://bugs.webkit.org/attachment.cgi?id=58598)
[PATCH] proposed patch v0

Docked Web inspector will automatically de-attach if the window gets too small.

Known Issues --
    • When docked, Web Inspector changes its height as the browser window is made smaller.
        • This causes the Web Inspector to be de-attached at different window sizes, depending on whether it was dragged beforehand or not. 
    • Is the name "checkDockedWindowSize( )" descriptive enough?

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.