Function onFileSelect

apps/visualize-trace/static/js/script.js:371–377

()

// 文件切换功能
function onFileSelect() {
    const selectedOption = elements.fileSelect.options[elements.fileSelect.selectedIndex];
    if (selectedOption && selectedOption.dataset.index !== undefined) {
        currentFileIndex = parseInt(selectedOption.dataset.index);
        updateNavigationButtons();
    }
}

function gotoPrevFile() {
    if (currentFileIndex > 0) {