]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 494bbe8) | patch
onLoad="window.focus()" added to every interface window
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 23 Aug 2001 13:06:10 +0000 (13:06 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 23 Aug 2001 13:06:10 +0000 (13:06 +0000)
commit2ac9e5e21097dbfaf0f366fb355796486becb3fe
tree50534c8575be59197eec03ce9fd8b2fabb23b3a6tree | snapshot
parent494bbe8d804c587488349dc1e1fa976e6f892ec0commit | diff
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.
helm/on-line/html/cic/index.html diff | blob | history
helm/on-line/html/theory/index.html diff | blob | history
helm/on-line/xslt/metadataLib.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.