(file)
| 131 | }, |
| 132 | |
| 133 | updateSources(file) { |
| 134 | let statusDiv = $("source-status"); |
| 135 | if (!file) { |
| 136 | statusDiv.textContent = ""; |
| 137 | return; |
| 138 | } |
| 139 | if (!file.scripts || file.scripts.length === 0) { |
| 140 | statusDiv.textContent = |
| 141 | "Script source not available. Run profiler with --log-source-code."; |
| 142 | return; |
| 143 | } |
| 144 | statusDiv.textContent = "Script source is available."; |
| 145 | main.currentState.sourceData = new SourceData(file); |
| 146 | }, |
| 147 | |
| 148 | filterFileTicks(file, showLogging) { |
| 149 | if (showLogging) return file; |