Rémi Verschelde 30c5286936 Merge pull request #7857 from Hinsbart/external_script_break ... Don't switch to script on breakpoint hit when using external editor.		2017-02-26 20:24:27 +01:00
..
editor	Merge pull request #7857 from Hinsbart/external_script_break	2017-02-26 20:24:27 +01:00