Parent Directory | Revision Log | Patch
revision 1.22 by humppake, Fri Feb 7 11:28:44 2003 UTC | revision 1.23 by humppake, Fri Feb 7 21:58:52 2003 UTC | |
---|---|---|
# | Line 80 enddef; | Line 80 enddef; |
80 | ||
81 | % A class title as a picture (font etc) | % A class title as a picture (font etc) |
82 | def diagramTitle(expr s) = | def diagramTitle(expr s) = |
83 | (infontBB(s, defaultfont) scaled 2.0) | (infontBB(s, "HelveticaBold") scaled 1.3) |
84 | enddef; | enddef; |
85 | ||
86 | def classTitle(expr s) = | def classTitle(expr s) = |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |