*/
WebInspector.ViewportControl = function(provider)
{
- this.element = document.createElement("div");
+ this.element = createElement("div");
this.element.style.overflow = "auto";
this._topGapElement = this.element.createChild("div", "viewport-control-gap-element");
this._topGapElement.textContent = ".";
/**
* @param {?Selection} selection
+ * @suppressGlobalPropertiesCheck
*/
_isSelectionBackwards: function(selection)
{