copy elements


              function copyTextElement(line) {
                  var copy = Browser.createVrmlFromString(' TextElement { bgTransparency '+ line.bgTransparency + ' bgColor ' + line.bgColor + ' } ');
                  copy[0].height         = line.height;
                  copy[0].linebreak      = line.linebreak;
                  copy[0].nochange      = line.nochange;
                  copy[0].color          = line.color;
                  copy[0].alpha          = line.alpha;
                  copy[0].justify        = line.justify;
                  copy[0].family         = line.family;
                  copy[0].style          = line.style;
                  copy[0].position       = line.position; 
                  copy[0].width          = line.width;
                  copy[0].string[0]      = line.string[0];
                  return copy[0];
              }
              function splitLine(line,maxWidth) {
                 if (line.nochange) return line;
  //                print('input char= '+line.string[0].length+'  width= '+line.width+'    '+line.string[0]);
  //                print('Should be splitting now...');
                  var tail = Browser.createVrmlFromString(' TextElement { bgTransparency '+ line.bgTransparency + ' bgColor ' + line.bgColor + ' } ');
  //                tail[0].bgTransparency = line.bgTransparency;
  //                tail[0].bgColor        = line.bgColor;
                  tail[0].height         = line.height;
                  tail[0].linebreak      = line.linebreak;
                  tail[0].color          = line.color;
                  tail[0].justify        = line.justify;
                  tail[0].family         = line.family;
                  tail[0].style          = line.style;
  
                  var fraction      = maxWidth/line.width;
                  var characters    = Math.floor(fraction*line.string[0].length);
  
                  characters = characters + 3;
                  while(line.string[0].charAt(characters) != ' ' &&
                        characters > 0) characters--;
  
                  fraction          = characters/line.string[0].length;
                  tail[0].width     = line.width - fraction * line.width;
                  line.width        = line.width - tail[0].width;
                  tail[0].string[0] = 
                      line.string[0].substring(characters+1,
                                               line.string[0].length);
                  line.string[0]    = line.string[0].substring(0,characters+1);
  
  //                print('characters = '+characters);
  //                print('line char= '+line.string[0].length+'  width= '+line.width+'     ' + line.string[0]);
  //                print('tail char= '+tail[0].string[0].length+'  width= '+tail[0].width+'    ' + tail[0].string[0]);
                  return tail[0];
              }
          "
      }
  }