content: /*
   * This library is part of OpenCms -
   * the Open Source Content Management System
   *
   * Copyright (c) Alkacon Software GmbH & Co. KG (https://www.alkacon.com)
   *
   * This library is free software; you can redistribute it and/or
   * modify it under the terms of the GNU Lesser General Public
   * License as published by the Free Software Foundation; either
   * version 2.1 of the License, or (at your option) any later version.
   *
   * This library is distributed in the hope that it will be useful,
   * but WITHOUT ANY WARRANTY; without even the implied warranty of
   * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
   * Lesser General Public License for more details.
   *
   * For further information about Alkacon Software, please see the
   * company website: https://www.alkacon.com
   *
   * For further information about OpenCms, please see the
   * project website: https://www.opencms.org
   *
   * You should have received a copy of the GNU Lesser General Public
   * License along with this library; if not, write to the Free Software
   * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
   */
  
  package org.opencms.gwt.client.util.impl;
  
  import com.google.gwt.dom.client.Document;
  
  /**
   * Helper class for DOM operations not made available by the GWT core classes.<p>
   *
   * Implementation for all MSIE browsers.<p>
   *
   * @since 8.0.0
   */
  public class DOMImplIE extends DOMImpl {
  
      /**
       * @see org.opencms.gwt.client.util.impl.DOMImpl#createIFrameElement(com.google.gwt.dom.client.Document, java.lang.String)
       */
      @Override
      public native com.google.gwt.dom.client.Element createIFrameElement(Document doc, String name) /*-{
                                                                                                     // attributes need to be set at creation of the iframe DOM element to take effect in rendering
                                                                                                     return doc
                                                                                                     .createElement("<iframe name='"
                                                                                                     + name
                                                                                                     + "' allowtransparency='true' frameborder='0' scrolling='no' framespacing='0' />");
                                                                                                     }-*/;
  }
  