Andreas Haas 10fa752ae7 Don't switch to script on breakpoint hit when using external editor. ... Fixes #7705		2017-02-20 21:23:09 +01:00
..
editor	Don't switch to script on breakpoint hit when using external editor.	2017-02-20 21:23:09 +01:00