[webkit-reviews] review requested: [Bug 14272] Cannot change the height of the Web Inspector when docked on Windows : [Attachment 32761] Take 3

[bugzilla-daemon at webkit.org]

Brian Weinstein <bweinstein at apple.com> has asked  for review:
Bug 14272: Cannot change the height of the Web Inspector when docked on Windows
https://bugs.webkit.org/show_bug.cgi?id=14272

Attachment 32761: Take 3
https://bugs.webkit.org/attachment.cgi?id=32761&action=review

------- Additional Comments from Brian Weinstein <bweinstein at apple.com>
Fixes comments made by aroben about previous patch.