Merge pull request #436 from mm40/fix-reload-breakpoints

Fix reload_breakpoints functionality, to also (de)highlight lines in source window