code: protected void removeDecorationWidget(Widget widget, int width) {
  
          if ((widget != null) && m_decorationWidgets.remove(widget)) {
              m_decorationWidth -= width;
              initContent();
          }
      }
docs: Removes a decoration widget.<p>
  
  @param widget the widget to remove
  @param width the widget width