/*
 * BannerWidget.java
 *
 * Copyright (C) 2020 by RStudio, PBC
 *
 * Unless you have received this program directly from RStudio pursuant
 * to the terms of a commercial license agreement with RStudio, then
 * this program is licensed to you under the terms of version 3 of the
 * GNU Affero General Public License. This program is distributed WITHOUT
 * ANY EXPRESS OR IMPLIED WARRANTY, INCLUDING THOSE OF NON-INFRINGEMENT,
 * MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE. Please refer to the
 * AGPL (http://www.gnu.org/licenses/agpl-3.0.txt) for more details.
 *
 */
package org.rstudio.core.client.widget;

import com.google.gwt.aria.client.Roles;
import com.google.gwt.user.client.ui.SimplePanel;
import com.google.gwt.user.client.ui.Widget;

/**
 * A widget with role=banner wrapping another widget
 */
public class BannerWidget extends SimplePanel
{
   public BannerWidget(Widget child)
   {
      setWidget(child);
      Roles.getBannerRole().set(getElement());
   }
}

@@ -639,20 +639,20 @@
 gwt.
-aria
+user
 .client.
 Role
@@ -647,21 +647,19 @@
 .client.
-Roles
+DOM
 ;%0Aimport
@@ -773,19 +773,48 @@
 ith 
+html5 header (aka 
 role=
+%22
 banner
+%22) element
  wra
@@ -939,69 +939,64 @@
    s
-etWidget(child);%0A      Roles.getBannerRole().set(getElement()
+uper(DOM.createElement(%22header%22));%0A      setWidget(child
 );%0A 

use html5 header element instead of role=banner (#6876)