CloneSet1507

Closure/closure/goog/ui/imagelessroundedcorner.js

Closure/closure/goog/ui/roundedcorners.js

/**
 * Returns the height of the element containing the rounded corner.
 * @return {number} The height of the element, in pixels.
 */
goog.ui.AbstractImagelessRoundedCorner.prototype.getHeight=  function ( )
                                                                        {
  return this.height_;
                                                                        } ;

/**
 * Sets the height of the element containing the rounded corner.
 * @param {number} height The height of the element, in pixels.
 */
goog.ui.AbstractImagelessRoundedCorner.prototype.setHeight=  function (height){
  this.height_=  height;
                                                                              } ;

/**
 * Returns the explicit height of the element creating the border or
 * background.
 * For the #getBorderHtml case, this usually isn't necessary to set as it will
 * size to content. For the #getBackgroundHtml case, this may be necessary to
 * set in certain cases in IE because of an off-by-1 bug in IE's bottom
 * positioning code.
 *
 * @return {?string} The height as a style string (e.g. '2px' or '3em').
 */
goog.ui.RoundedCorners.prototype.getExplicitHeight=  function ( )
                                                                {
  return this.height_;
                                                                } ;

/**
 * Sets the explicit height of the element creating the border or background.
 * For the #getBorderHtml case, this usually isn't necessary to set as it will
 * size to content. For the #getBackgroundHtml case, this may be necessary to
 * set in certain cases in IE because of an off-by-1 bug in IE's bottom
 * positioning code.
 *
 * @param {string} height The height as a style string (e.g. '2px' or '3em').
 */
goog.ui.RoundedCorners.prototype.setExplicitHeight=  function (height){
  this.height_=  height;
                                                                      } ;

/**
 * Returns the height of the element containing the rounded corner.
 * @return {number} The height of the element, in pixels.
 */
/**
 * Returns the explicit height of the element creating the border or
 * background.
 * For the #getBorderHtml case, this usually isn't necessary to set as it will
 * size to content. For the #getBackgroundHtml case, this may be necessary to
 * set in certain cases in IE because of an off-by-1 bug in IE's bottom
 * positioning code.
 *
 * @return {?string} The height as a style string (e.g. '2px' or '3em').
 */
goog.ui. [[#variable63413540]].prototype. [[#variable634134c0]]= function ( )
                                                                 { return this.height_;
                                                                 } ;
/**
 * Sets the height of the element containing the rounded corner.
 * @param {number} height The height of the element, in pixels.
 */
/**
 * Sets the explicit height of the element creating the border or background.
 * For the #getBorderHtml case, this usually isn't necessary to set as it will
 * size to content. For the #getBackgroundHtml case, this may be necessary to
 * set in certain cases in IE because of an off-by-1 bug in IE's bottom
 * positioning code.
 *
 * @param {string} height The height as a style string (e.g. '2px' or '3em').
 */
goog.ui. [[#variable63413540]].prototype. [[#variable63413360]]= function (height)
                                                                 { this.height_=height;
                                                                 } ;
 

AbstractImagelessRoundedCorner 

RoundedCorners 

getHeight 

getExplicitHeight 

setHeight 

setExplicitHeight