fix bug: debug highlighting is incorrect after changing and saving the file currently active in the debugger