[Webkit-unassigned] [Bug 71842] Chromium: Add plumbing to enable dragging dev tools via the empty space on the toolbar.

[bugzilla-daemon at webkit.org]

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





--- Comment #3 from Darin Fisher (:fishd, Google) <fishd at chromium.org>  2011-11-08 13:21:38 PST ---
(From update of attachment 114125)
View in context: https://bugs.webkit.org/attachment.cgi?id=114125&action=review

> Source/WebKit/chromium/public/WebDevToolsFrontendClient.h:52
> +    virtual void moveWindowBy(float x, float y) { }

nit: had you considered using WebFloatPoint?

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