doc/salome/gui/SMESH/whgdhtml.htm

   1 <html>
   2 <head>
   3 <title>Glossary</title>
   4
   5 <meta name="generator" content="RoboHelp by eHelp Corporation   www.ehelp.com">
   6 <meta name="description" content="WebHelp 5.50">
   7 </head>
   8 <body bgcolor=#c0c0c0 scroll=no RIGHTMARGIN=0 BOTTOMMARGIN=0 TOPMARGIN=0 LEFTMARGIN=0>
   9 <script language="javascript" src="whver.js"></script>
  10 <script language="javascript1.2" src="whmozemu.js"></script>
  11 <script language="javascript1.2" src="whmsg.js"></script>
  12 <script language="javascript1.2" src="whutils.js"></script>
  13 <script language="javascript1.2" src="whproxy.js"></script>
  14 <script language="javascript1.2">
  15 <!--
  16 var gsBgImage="";
  17 var     gsBgColor="";
  18 var goTitleFont=null;
  19
  20 function setBackground(sBgImage)
  21 {
  22         gsBgImage=sBgImage;
  23 }
  24
  25 function setBackgroundcolor(sBgColor)
  26 {
  27         gsBgColor=sBgColor;
  28 }
  29
  30 function setFont(sType, sFontName,sFontSize,sFontColor,sFontStyle,sFontWeight,sFontDecoration)
  31 {
  32         var vFont=new whFont(sFontName,sFontSize,sFontColor,sFontStyle,sFontWeight,sFontDecoration);
  33         if(sType=="Title")
  34                 goTitleFont=vFont;
  35 }
  36
  37 function getTermText()
  38 {
  39         var strString="Term:";
  40 strString = "Term:";
  41         return strString;
  42 }
  43
  44 function getDefinitionText()
  45 {
  46         var strString="Definition for:";
  47 strString = "Definition:";
  48         return strString;
  49 }
  50
  51 function getHTML()
  52 {
  53         var sHTML="";
  54         sHTML+="<P class=title><nobr>&nbsp;" + getTermText() + "</nobr></p>";
  55         sHTML+="<iframe id=glossaryIFrame title=\"glossary term\" src=\"whgbody.htm\" width=100% height=200 MARGINHEIGHT=0 MARGINWIDTH=0></iframe>";
  56         sHTML+="<P class=title><nobr>&nbsp;" + getDefinitionText() + "&nbsp;<b id=Name></b></nobr></p>";
  57         sHTML+="<iframe id=defIFrame title=\"glossary definition\" src=\"whgdef.htm\" width=100% height=100% MARGINHEIGHT=0 MARGINWIDTH=0></iframe>";
  58         return sHTML;
  59 }
  60
  61 function writeStyle()
  62 {
  63         var sStyle="<style type='text/css'>";
  64         sStyle+="p.title {" + getFontStyle(goTitleFont) + "margin-top:4;margin-bottom:4}\n";
  65         if (gsBgImage)
  66                 sStyle+="body {border-top:"+gsBgColor+" 1px solid;}\n";
  67         else
  68                 sStyle+="body {border-top:black 1px solid;}\n";
  69         sStyle+="</style>";
  70         document.write(sStyle);
  71 }
  72
  73
  74 function window_OnResize()
  75 {
  76         setIFrameHeight();
  77 }
  78
  79 function window_OnLoad()
  80 {
  81         if(gsBgImage&&gsBgImage.length>0)
  82                 document.body.background=gsBgImage;
  83         if(gsBgColor&&gsBgColor.length>0)
  84                 document.body.bgColor=gsBgColor;
  85         setIFrameHeight();
  86 }
  87
  88 function setIFrameHeight()
  89 {
  90         var tH=0;
  91         if(gbNav6)
  92         {
  93                 tH=parseInt(window.innerHeight)-30;
  94         }
  95         else
  96         {
  97                 tH=parseInt(document.body.clientHeight)-4;
  98         }
  99
 100         var oEle=getElement("glossaryIFrame");
 101         if(oEle)
 102         {
 103                 tH=tH-2*parseInt(oEle.offsetTop);
 104                 if(tH>0)
 105                 {
 106                         oEle.style.height=Math.floor(tH*.6);
 107                         var oEleDef=getElement("defIFrame");
 108                         if(oEleDef)
 109                         {
 110                                 oEleDef.style.height=tH-parseInt(oEle.style.height);
 111                         }
 112                 }
 113         }
 114 }
 115
 116 function window_Unload()
 117 {
 118         UnRegisterListener2(this,WH_MSG_SHOWGLODEF);
 119 }
 120
 121 function onSendMessage(oMsg)
 122 {
 123         var nMsgId=oMsg.nMessageId;
 124         if(nMsgId==WH_MSG_SHOWGLODEF)
 125         {
 126                 if(getElement("Name"))
 127                         getElement("Name").innerHTML=oMsg.oParam.sName;
 128                 return true;
 129         }
 130 }
 131
 132 if(window.gbWhVer&&window.gbWhMsg&&window.gbWhUtil&&window.gbWhProxy)
 133 {
 134         goTitleFont=new whFont("Arial","9pt","#000000","normal","normal","none");
 135         setFont("Title", "Arial","9pt","#000000","normal","normal","none");
 136
 137
 138         window.onresize=window_OnResize;
 139         window.onload=window_OnLoad;
 140         window.onunload=window_Unload;
 141         RegisterListener2(this,WH_MSG_SHOWGLODEF);
 142         writeStyle();
 143         document.write(getHTML());
 144 }
 145 else
 146         document.location.reload();
 147 //-->
 148 </script>
 149 </body>
 150 </html>