我有一个桌面小工具,它会定期将网络文件夹中的 html 文件加载到其中。存在间隔,以便在更新源时,小工具会自动更新。如果源内容发生变化,我希望小工具能够获得焦点。如果我添加 myGadget.focus(); 在脚本的底部,小工具每隔一段时间就会出现在前面。如果 source.html 文件上的修改日期发生更改,我该如何执行此操作?或表明文件已被修改的文件的任何其他属性。这是我的代码:
<script type="text/javascript">
var t=null;
var interval=60000;
function refreshFrame(){
document.all.myGadget.src="\\\\network folder\\source.html";
t=setTimeout(refreshFrame,interval);
}
</script>