doc/salome/gui/SMESH/whgdef.htm

   1 <html>
   2 <head>
   3 <title>Glossary Definition</title>
   4
   5 <meta name="generator" content="RoboHelp by eHelp Corporation   www.ehelp.com">
   6 <meta name="description" content="WebHelp 5.50">
   7 <script language="javascript" src="whver.js"></script>
   8 <script language="javascript1.2" src="whmsg.js"></script>
   9 <script language="javascript1.2" src="whproxy.js"></script>
  10 <script language="javascript1.2" src="whutils.js"></script>
  11 <script language="javascript1.2">
  12 <!--
  13 var gsBgColor="#ffffff";
  14 var gsBgImage="";
  15 var goGloFont=null;
  16
  17 function setBackground(sBgImage)
  18 {
  19         gsBgImage=sBgImage;
  20 }
  21
  22 function setBackgroundcolor(sBgColor)
  23 {
  24         gsBgColor=sBgColor;
  25 }
  26
  27 function window_Unload()
  28 {
  29         UnRegisterListener2(this, WH_MSG_SHOWGLODEF);
  30 }
  31
  32 function window_OnLoad()
  33 {
  34         if(gsBgImage&&gsBgImage.length>0)
  35                 document.body.background=gsBgImage;
  36         if(gsBgColor&&gsBgColor.length>0)
  37                 document.body.bgColor=gsBgColor;
  38 }
  39
  40 function setFont(sType, sFontName, sFontSize, sFontColor, sFontStyle, sFontWeight, sFontDecoration)
  41 {
  42         var vFont = new whFont(sFontName, sFontSize, sFontColor, sFontStyle, sFontWeight, sFontDecoration);
  43         if (sType == "Normal")
  44                 goGloFont = vFont;
  45 }
  46
  47 function textToHtml_nbsp_specialcare(sText)
  48 {
  49         if (sText == null) return null;
  50         var sHTML= sText;
  51         var re = new RegExp("  ","g");
  52         sHTML=  sHTML.replace(re, "&nbsp; ");
  53         return  sHTML;
  54 }
  55
  56 function onSendMessage(oMsg)
  57 {
  58         var nMsgId = oMsg.nMessageId;
  59         if (nMsgId == WH_MSG_SHOWGLODEF)
  60         {
  61                 document.body.innerHTML = sDefHead + textToHtml_nbsp_specialcare(oMsg.oParam.sDef) + sDefTail;
  62                 return true;
  63         }
  64 }
  65
  66 function GDefWriteClassStyle()
  67 {
  68         var sStyle="<STYLE TYPE='text/css'>\n";
  69         if (gsBgImage)
  70                 sStyle+="body {border-top:"+gsBgColor+" 1px solid;}\n";
  71         else
  72                 sStyle+="body {border-top:black 1px solid;}\n";
  73         sStyle+=".definition {"+getFontStyle(goGloFont)+"margin:2;}\n";
  74         sStyle+="</STYLE>";
  75         document.write(sStyle);
  76 }
  77
  78 if (window.gbWhMsg&&window.gbWhUtil&&window.gbWhProxy&&window.gbWhVer)
  79 {
  80         window.onload=window_OnLoad;
  81         window.onunload = window_Unload;
  82         goGloFont=new whFont("Verdana", "8pt", "#000000", "normal", "normal", "none");
  83
  84
  85         setFont("Normal", "Arial","9pt","#000000","normal","normal","none");
  86         GDefWriteClassStyle();
  87         RegisterListener2(this, WH_MSG_SHOWGLODEF);
  88         var sDefHead = "<p class=\"definition\">";
  89         var sDefTail = "</p>";
  90 }
  91 else
  92         document.location.reload();
  93 //-->
  94 </script>
  95 </head>
  96 <body bgproperties="fixed" bgcolor="white">
  97 </body>
  98 </html>