]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 2ac9e5e)
* Title added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 23 Aug 2001 13:16:04 +0000 (13:16 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 23 Aug 2001 13:16:04 +0000 (13:16 +0000)
* Method onLoad="window.focus()" added. To be removed as soon as the window
  become a frame.

helm/style/mk_meta_theory.xsl patch | blob | history

diff --git a/helm/style/mk_meta_theory.xsl b/helm/style/mk_meta_theory.xsl
index 34d6b1ccda3ea40855b403222a8fedab47ac5018..e613553d24f4dba052415c7376f807bb2b52dc3b 100644 (file)
--- a/helm/style/mk_meta_theory.xsl
+++ b/helm/style/mk_meta_theory.xsl
@@ -33,8 +33,12 @@
 
 <xsl:template match="/">
                <html> 
-                <head></head>
-                <body bgcolor="white">
+                <head>
+                 <title>Occurrences of <xsl:value-of select="occurs/@who"/></title>
+                </head>
+                <!-- CSC: method onLoad to be removed once the window -->
+                <!-- CSC: becomes a frame                              -->
+                <body bgcolor="white" onLoad="window.focus()">
                 <xsl:apply-templates/>
                 </body>
                </html>
Unnamed repository; edit this file 'description' to name the repository.