| Index: webkit/tools/test_shell/webwidget_host_gtk.cc
|
| ===================================================================
|
| --- webkit/tools/test_shell/webwidget_host_gtk.cc (revision 12916)
|
| +++ webkit/tools/test_shell/webwidget_host_gtk.cc (working copy)
|
| @@ -13,7 +13,9 @@
|
| #include "skia/ext/platform_canvas_linux.h"
|
| #include "skia/ext/platform_device_linux.h"
|
| #include "third_party/WebKit/WebKit/chromium/public/gtk/WebInputEventFactory.h"
|
| +#include "third_party/WebKit/WebKit/chromium/public/gtk/WebScreenInfoFactory.h"
|
| #include "third_party/WebKit/WebKit/chromium/public/WebInputEvent.h"
|
| +#include "third_party/WebKit/WebKit/chromium/public/WebScreenInfo.h"
|
| #include "webkit/glue/webwidget.h"
|
| #include "webkit/tools/test_shell/test_shell.h"
|
|
|
| @@ -21,6 +23,8 @@
|
| using WebKit::WebKeyboardEvent;
|
| using WebKit::WebMouseEvent;
|
| using WebKit::WebMouseWheelEvent;
|
| +using WebKit::WebScreenInfo;
|
| +using WebKit::WebScreenInfoFactory;
|
|
|
| namespace {
|
|
|
| @@ -361,6 +365,10 @@
|
| gdk_window_end_paint(window);
|
| }
|
|
|
| +WebScreenInfo WebWidgetHost::GetScreenInfo() {
|
| + return WebScreenInfoFactory::screenInfo(view_);
|
| +}
|
| +
|
| void WebWidgetHost::ResetScrollRect() {
|
| // This method is only needed for optimized scroll painting, which we don't
|
| // care about in the test shell, yet.
|
|
|