| OLD | NEW |
| 1 /* | 1 /* |
| 2 * Copyright (C) 2011 Google Inc. All rights reserved. | 2 * Copyright (C) 2011 Google Inc. All rights reserved. |
| 3 * | 3 * |
| 4 * Redistribution and use in source and binary forms, with or without | 4 * Redistribution and use in source and binary forms, with or without |
| 5 * modification, are permitted provided that the following conditions are | 5 * modification, are permitted provided that the following conditions are |
| 6 * met: | 6 * met: |
| 7 * | 7 * |
| 8 * * Redistributions of source code must retain the above copyright | 8 * * Redistributions of source code must retain the above copyright |
| 9 * notice, this list of conditions and the following disclaimer. | 9 * notice, this list of conditions and the following disclaimer. |
| 10 * * Redistributions in binary form must reproduce the above | 10 * * Redistributions in binary form must reproduce the above |
| (...skipping 242 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 253 wasShown() { | 253 wasShown() { |
| 254 this._profile._loadPromise.then(this._profile._wasShown.bind(this._profile))
; | 254 this._profile._loadPromise.then(this._profile._wasShown.bind(this._profile))
; |
| 255 } | 255 } |
| 256 | 256 |
| 257 /** | 257 /** |
| 258 * @override | 258 * @override |
| 259 */ | 259 */ |
| 260 willHide() { | 260 willHide() { |
| 261 this._currentSearchResultIndex = -1; | 261 this._currentSearchResultIndex = -1; |
| 262 this._popoverHelper.hidePopover(); | 262 this._popoverHelper.hidePopover(); |
| 263 if (this.helpPopover && this.helpPopover.isShowing()) | |
| 264 this.helpPopover.hide(); | |
| 265 } | 263 } |
| 266 | 264 |
| 267 /** | 265 /** |
| 268 * @override | 266 * @override |
| 269 * @return {boolean} | 267 * @return {boolean} |
| 270 */ | 268 */ |
| 271 supportsCaseSensitiveSearch() { | 269 supportsCaseSensitiveSearch() { |
| 272 return true; | 270 return true; |
| 273 } | 271 } |
| 274 | 272 |
| (...skipping 1815 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2090 var name = frameDiv.createChild('div'); | 2088 var name = frameDiv.createChild('div'); |
| 2091 name.textContent = UI.beautifyFunctionName(frame.functionName); | 2089 name.textContent = UI.beautifyFunctionName(frame.functionName); |
| 2092 if (frame.scriptId) { | 2090 if (frame.scriptId) { |
| 2093 var urlElement = this._linkifier.linkifyScriptLocation( | 2091 var urlElement = this._linkifier.linkifyScriptLocation( |
| 2094 this._target, String(frame.scriptId), frame.scriptName, frame.line -
1, frame.column - 1); | 2092 this._target, String(frame.scriptId), frame.scriptName, frame.line -
1, frame.column - 1); |
| 2095 frameDiv.appendChild(urlElement); | 2093 frameDiv.appendChild(urlElement); |
| 2096 } | 2094 } |
| 2097 } | 2095 } |
| 2098 } | 2096 } |
| 2099 }; | 2097 }; |
| OLD | NEW |