wm: Make WM_MOVE_PANEL use top-right coordinates.

src/platform/window_manager/window_manager.h

Index: src/platform/window_manager/window_manager.h
diff --git a/src/platform/window_manager/window_manager.h b/src/platform/window_manager/window_manager.h
index c724b3324508b66faebcc06ee972345879ea9c41..22df5b2d34b2e89ae9539b554723a761952c3d42 100644
--- a/src/platform/window_manager/window_manager.h
+++ b/src/platform/window_manager/window_manager.h
@@ -57,10 +57,12 @@ class WindowManager {
   int width() const { return width_; }
   int height() const { return height_; }
 
+  XWindow wm_xid() const { return wm_xid_; }
   XWindow active_window_xid() const { return active_window_xid_; }
 
   KeyBindings* key_bindings() { return key_bindings_.get(); }
   WmIpc* wm_ipc() { return wm_ipc_.get(); }
+  int wm_ipc_version() const { return wm_ipc_version_; }
 
   // Get the title for the window that we create to take ownership of management
   // selections.  This is also used to name our log files.
@@ -301,6 +303,10 @@ class WindowManager {
   // Shows overlayed images containing hotkeys.
   scoped_ptr<HotkeyOverlay> hotkey_overlay_;
 
+  // Version of the IPC protocol that Chrome is currently using.  See
+  // WM_NOTIFY_IPC_VERSION in wm_ipc.h for details.
+  int wm_ipc_version_;
+
   DISALLOW_COPY_AND_ASSIGN(WindowManager);
 };