- Add reload() method in editors' scope.
- When a Task is executed from the main indicators, the concerned document is reloaded if it is currently displayed in its editor.