das war mir bisher nicht bewusst, danke - aber diese Wissenslücke halte ich angesichts des geringen Nutzwerts von window.stop() für unerheblich - ich wüsste jedenfalls keinen Anwendungsfall.
darüber da hab ich mir auch schon oft Gedanken gemacht und bin zu keiner Antwort gekommen.
Struppi.