/* 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 Widget interface.
 */

label Chrome {
  M14 = 0.2
};

/**
 * The interface for reusing browser widgets.
 */
interface PPP_Widget_Dev {
  /**
   * Informs the instance that the given rectangle needs to be repainted.
   */
  void Invalidate([in] PP_Instance instance,
                  [in] PP_Resource widget,
                  [in] PP_Rect dirty_rect);
};


