Add SetScale to PPB_WidgetDev, use scale for painting

ppapi/api/dev/ppb_widget_dev.idl

 /* Copyright (c) 2012 The Chromium Authors. All rights reserved.
  * Use of this source code is governed by a BSD-style license that can be
  * found in the LICENSE file.
  */
 
 /**
  * Implementation of the widgets interface.
  */
 
 label Chrome {
-  M14 = 0.3
+  M14 = 0.3,
+  M23 = 0.4
 };
 
 /**
  * The interface for reusing browser widgets.
  */
 interface PPB_Widget_Dev {
   /**
    * Returns PP_TRUE if the given resource is a Widget. Returns PP_FALSE if the
    * resource is invalid or some type other than an Widget.
    */
@@ skipping 17 matching lines @@
    * Get the location of the widget.
    */
   PP_Bool GetLocation([in] PP_Resource widget,
                       [out] PP_Rect location);
 
   /**
    * Set the location of the widget.
    */
   void SetLocation([in] PP_Resource widget,
                    [in] PP_Rect location);
+
+  /**
+   * Set scale used during paint operations.
+   */
+  [version=0.4]
+  void SetScale([in] PP_Resource widget,
+                [in] float_t scale);
 };