Add ability to set resolution on external display

ash/display/display_manager.h

Index: ash/display/display_manager.h
diff --git a/ash/display/display_manager.h b/ash/display/display_manager.h
index bfecbdc3426aabcef6cbaf2d2bbec24853dd06ad..b3114eb85bbf4b09b770f9052e2a56242fcccd9a 100644
--- a/ash/display/display_manager.h
+++ b/ash/display/display_manager.h
@@ -130,12 +130,20 @@ class ASH_EXPORT DisplayManager
   // Sets the display's ui scale.
   void SetDisplayUIScale(int64 display_id, float ui_scale);
 
+  // Sets the displays's resolution.

[Daniel Erat, 2013/07/31 17:34:05]

nit: s/displays's/display's/

[oshima, 2013/07/31 21:59:49]

Done.

+  void SetDisplayResolution(int64 display_id, const gfx::Size& resolution);
+
   // Register per display properties. |overscan_insets| is NULL if
   // the display has no custom overscan insets.
   void RegisterDisplayProperty(int64 display_id,
                                gfx::Display::Rotation rotation,
                                float ui_scale,
-                               const gfx::Insets* overscan_insets);
+                               const gfx::Insets* overscan_insets,
+                               const gfx::Size& resolution_in_pixels);
+
+  // Returns the display's selected resolution.
+  bool GetSelectedResolutionForDisplayId(int64 display_id,
+                                         gfx::Size* resolution_out) const;
 
   // Tells if display rotation/ui scaling features are enabled.
   bool IsDisplayRotationEnabled() const;
@@ -270,6 +278,9 @@ private:
   // The mapping from the display ID to its internal data.
   std::map<int64, DisplayInfo> display_info_;
 
+  // Selected resolutions for displays.

[Daniel Erat, 2013/07/31 17:34:05]

nit: mention that keys are display IDs

[oshima, 2013/07/31 21:59:49]

Done.

+  std::map<int64, gfx::Size> resolutions_;
+
   // When set to true, the host window's resize event updates
   // the display's size. This is set to true when running on
   // desktop environment (for debugging) so that resizing the host