Reloading script in Rhino Python Editor

[raul]

Hi,

Is there a way to reload script in editor. Refresh shortcut would be very good.
I do not mind if code folding is not memorized afterwards.

raul

[Steve Baer]

Hi Raul,
My plan is to add file watchers for all of the files that you currently have open in the editor and when those files change (outside the editor) you will be asked if you want to reload the file. I haven't implemented this yte, but hopefully I will be able to get to it soon.
Thanks,
-Steve

[raul]

sounds great
raul