(index)
| 393 | } |
| 394 | |
| 395 | function selectFileByIndex(index) { |
| 396 | if (index >= 0 && index < currentFileList.length) { |
| 397 | elements.fileSelect.selectedIndex = index + 1; // +1 因为第一个选项是"选择Trace文件..." |
| 398 | currentFileIndex = index; |
| 399 | updateNavigationButtons(); |
| 400 | } |
| 401 | } |
| 402 | |
| 403 | function updateNavigationButtons() { |
| 404 | const hasPrev = currentFileIndex > 0; |
no test coverage detected