      }
            }
        }
    }

    // Load file menu
    get_data("/dump_dir").then(function (files) {
        var div = document.getElementById("file_dropdown");
        var file_names = d3.select(div).selectAll(".choice")
            .data(files)
            .enter().append("p");

        // Only show files without folder name
        file_names.each(function(d) {
            this.innerHTML = d.replace("/dump_dir/", "");
            this.setAttribute("id", d);

            // Click on a new file w