| Index: ui/views/widget/desktop_aura/x11_desktop_handler.h
|
| diff --git a/ui/views/widget/desktop_aura/x11_desktop_handler.h b/ui/views/widget/desktop_aura/x11_desktop_handler.h
|
| index 947040e439384643c8c9fa51b0c6c4f992f3effe..47a1ff1a7ffd2854d5218ac8cd7b3c579c000267 100644
|
| --- a/ui/views/widget/desktop_aura/x11_desktop_handler.h
|
| +++ b/ui/views/widget/desktop_aura/x11_desktop_handler.h
|
| @@ -15,6 +15,7 @@
|
| #include "base/macros.h"
|
| #include "ui/aura/env_observer.h"
|
| #include "ui/events/platform/platform_event_dispatcher.h"
|
| +#include "ui/events/platform/x11/x11_event_source.h"
|
| #include "ui/gfx/x/x11_atom_cache.h"
|
| #include "ui/gfx/x/x11_types.h"
|
| #include "ui/views/views_export.h"
|
| @@ -36,12 +37,8 @@ class VIEWS_EXPORT X11DesktopHandler : public ui::PlatformEventDispatcher,
|
|
|
| // Gets/sets the X11 server time of the most recent mouse click, touch or
|
| // key press on a Chrome window.
|
| - int wm_user_time_ms() const {
|
| - return wm_user_time_ms_;
|
| - }
|
| - void set_wm_user_time_ms(unsigned long time_ms) {
|
| - wm_user_time_ms_ = time_ms;
|
| - }
|
| + int wm_user_time_ms() const { return wm_user_time_ms_; }
|
| + void set_wm_user_time_ms(Time time_ms);
|
|
|
| // Sends a request to the window manager to activate |window|.
|
| // This method should only be called if the window is already mapped.
|
| @@ -95,7 +92,7 @@ class VIEWS_EXPORT X11DesktopHandler : public ui::PlatformEventDispatcher,
|
|
|
| // The X11 server time of the most recent mouse click, touch, or key press
|
| // on a Chrome window.
|
| - unsigned long wm_user_time_ms_;
|
| + Time wm_user_time_ms_;
|
|
|
| // The active window according to X11 server.
|
| ::Window current_window_;
|
|
|