Add code to the restart that would put the source view buffer pointing to the original file that started the debugger.