Home
last modified time | relevance | path

Searched refs:_savedPosition (Results 1 – 1 of 1) sorted by relevance

/external/webkit/WebCore/inspector/front-end/
DDataGrid.js1243 if (this._savedPosition)
1248 this._savedPosition = { property
1256 if (!this._savedPosition)
1259 if (this.parent !== this._savedPosition.parent)
1260 this._savedPosition.parent.insertChild(this, this._savedPosition.index);
1262 delete this._savedPosition;