Propagated reloading and windows from ClaferIDE