feature request: Python Editor does _not_ notice script modification by external editor e.g.
When an opened script is manipulated by any external programme, the script editor runs nevertheless the outdated version of the script
What about to ask for a refresh when the editor gets focus again? Alternatively a manual refresh should be supported; currently closing & reopening of the obsolete version is necessary ...!?
Or could the workflow be optimized somewhere else?