function listener(event)
        {
            var uiSourceCode = /** @type {!WebInspector.UISourceCode} */ (event.data);
            if (uiSourceCode.url === url) {
                WebInspector.Revealer.reveal(uiSourceCode.uiLocation(lineNumber, columnNumber));
                this.removeEventListener(WebInspector.Workspace.Events.UISourceCodeAdded, listener, this);
            }
        }
@param {!WebInspector.Event} event
@this {WebInspector.Workspace}