From: Claudio Sacerdoti Coen Date: Thu, 23 Aug 2001 13:06:10 +0000 (+0000) Subject: onLoad="window.focus()" added to every interface window X-Git-Tag: v0_1_3~94 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2ac9e5e21097dbfaf0f366fb355796486becb3fe;p=helm.git onLoad="window.focus()" added to every interface window In this way, when a link opens a document in another window, that window is also raised. --- diff --git a/helm/on-line/html/cic/index.html b/helm/on-line/html/cic/index.html index c40fd06cb..e115523d4 100644 --- a/helm/on-line/html/cic/index.html +++ b/helm/on-line/html/cic/index.html @@ -7,7 +7,7 @@ ???</script>