[Gzz-commits] gzz/metacode umltool.py

[Asko Soukka]

CVSROOT:        /cvsroot/gzz
Module name:    gzz
Changes by:     Asko Soukka <address@hidden>    03/02/07 18:59:38

Modified files:
        metacode       : umltool.py 

Log message:
        fixing font-sizes

CVSWeb URLs:
http://savannah.gnu.org/cgi-bin/viewcvs/gzz/gzz/metacode/umltool.py.diff?tr1=1.29&tr2=1.30&r1=text&r2=text

Patches:
Index: gzz/metacode/umltool.py
diff -u gzz/metacode/umltool.py:1.29 gzz/metacode/umltool.py:1.30
--- gzz/metacode/umltool.py:1.29        Fri Feb  7 18:36:36 2003
+++ gzz/metacode/umltool.py     Fri Feb  7 18:59:38 2003
@@ -81,6 +81,14 @@
 
 def jlinkstr(jlink, box, RoughEdge=1):
     if jlink != None:
+        #trimming jlink to comparable
+        name = jlink
+        if name.rfind("#") != -1:
+            name = name[0:name.rfind("#")]
+        if name.endswith(".html"): name = name[0:len(name)-5]
+        if name.endswith(".gen"): name = name[0:len(name)-4]
+
+        #Marking "Broken link" if file not found
         if settings.has_key('path'):
            slash = settings['path'].rfind("/")
            if slash != -1:
@@ -92,14 +100,17 @@
            if not os.path.isfile(path):
 #               print path
                return 'showlinkerror("'+jlink+'", ('+box+'));'
+           else:
+                file = open(path)                
+                title = re.compile('<title>([^<]*)</title>')
+                title = title.findall(file.read())
+                file.close()
+                if len(title) > 0: title = title[0]
+                else: title = jlink
+                titles[jlink] = title
+               
 
         """ If focus is set and 'focus' matches, focus jlink. """
-        #trimming jlink to comparable
-        name = jlink
-        if name.rfind("#") != -1:
-            name = name[0:name.rfind("#")]
-        if name.endswith(".html"): name = name[0:len(name)-5]
-        if name.endswith(".gen"): name = name[0:len(name)-4]
         #comparing
         if settings.has_key('focus') and (\
            settings['focus'].find("_"+name.replace(".", "_")+".") != -1 or \