add mini gui to debugger for seed file choice