Searched refs:sourceDeleted (Results 1 – 2 of 2) sorted by relevance
| /external/chromium_org/third_party/WebKit/Source/devtools/front_end/sources/ | ||
| D | SourcesNavigator.js | 199 sourceDeleted: function(uiSourceCode) method in WebInspector.SnippetsNavigatorView |
| D | NavigatorView.js | 227 sourceDeleted: function(uiSourceCode) method in WebInspector.NavigatorView |