Sets the header of the collection component.
327189
public void setHeader(String header) {
        headerLabel.getElement().setInnerSafeHtml(SafeHtmlUtils.fromString(header));
        addStyleName(CssName.WITH_HEADER);
        ListItem item = new ListItem(headerLabel);
        UiHelper.addMousePressedHandlers(item);
        item.setStyleName(CssName.COLLECTION_HEADER);
        insert(item, 0);
    }
1207367
public <T> TableFormatter header(Collection<? extends T> collection) {
      header.addAll(collection);
      longestCell = (int) Math.max(longestCell, collection.stream()
                                                          .mapToDouble(o -> o.toString().length() + 2)
                                                          .max()
                                                          .orElse(0));
      return this;
   }
486703
@Override
    public void setIntHeader(String hdr, int value) {
        if (-1 == value) {
            if (TraceComponent.isAnyTracingEnabled() && tc.isDebugEnabled()) {
                Tr.debug(tc, "setIntHeader(" + hdr + ", -1), removing header");
            }
            this.response.removeHeader(hdr);
        } else {
            this.response.setHeader(hdr, Integer.toString(value));
        }
    }
1305202
public void setHeader(Layout headerLayout) {
        if (getCompositionRoot() != null && this.headerLayout != null) {
            getCompositionRoot().removeComponent(this.headerLayout);
        }
        this.headerLayout = headerLayout;
        if (headerLayout != null) {
            headerLayout.addStyleName(ValoTheme.MENU_TITLE);
            if (getCompositionRoot() != null) {
                if (this.logo != null) {
                    getCompositionRoot().addComponent(headerLayout, 1);
                } else {
                    getCompositionRoot().addComponentAsFirst(headerLayout);
                }
            }
        }
    }
1242718
protected void setSpecialHeader(HeaderKeys key, byte[] value) {
        if (TraceComponent.isAnyTracingEnabled() && tc.isDebugEnabled()) {
            Tr.debug(tc, "setSpecialHeader(h,b[]): " + key.getName());
        }
        removeHdrInstances(findHeader(key), FILTER_NO);
        HeaderElement elem = getElement(key);
        elem.setByteArrayValue(value);
        addHeader(elem, FILTER_NO);
    }
556564
public void setHeader(String name, String value) {
		if (headers == null) {
			headers = new HashMap<String, String>();
		}
		if (value != null) {
			headers.put(name, value);
		} else {
			headers.remove(name);
		}
	}
972438
def set_header(self,header):
        
        self.header = header
        self.root.insert(0,header.get_node())
1348773
private void adaptHeaderVisibility() {
        if (header != null) {
            if (showHeader) {
                header.setVisibility(View.VISIBLE);
                notifyOnAreaShown(Area.HEADER);
            } else {
                header.setVisibility(View.GONE);
                notifyOnAreaHidden(Area.HEADER);
            }
        }
    }
784945
@Override
    public void addHeader(String key, String value)
    {
        _conn.setRequestProperty(key, value);
    }
1081572
def set_header(self, name, value):
        
        self._headers[_hkey(name)] = [_hval(value)]
1054372
public void setCustomHeader(String[] header) {
        if (header == null) {
            throw new IllegalArgumentException("Custom header can't be null.");
        }
        customHeader = new CustomHeaderLine[header.length];
        for (int i = 0; i < header.length; i++) {
            customHeader[i] = new CustomHeaderLine(header[i]);
        }
    }
343913
def set_heading(self, value):
        """"""
        return self.write(request.SetHeading(self.seq, value))
194090
public void setHeaders(Map<String, List<String>> headerMap) {
        headers = new Headers.Builder();

        for (Map.Entry<String, List<String>> e : headerMap.entrySet()) {
            for (String headerValue : e.getValue()) {
                addHeader(e.getKey(), headerValue);
            }
        }
    }
531624
@Override
	public void setIntHeader(final String name, final int value) {
		headers.put(name, String.valueOf(value));
	}
269663
@Override
    public void setRequestHeader(String headerName, String headerValue) {
        Header header = new Header(headerName, headerValue);
        setRequestHeader(header);
    }
1350733
@Override
    public void setRequestHeader(Header header) {
        
        Header[] headers = getRequestHeaderGroup().getHeaders(header.getName());
        
        for (int i = 0; i < headers.length; i++) {
            getRequestHeaderGroup().removeHeader(headers[i]);
        }
        
        getRequestHeaderGroup().addHeader(header);
        
    }
902089
public void setDefaultHeaders(Collection<? extends Header> defaultHeaders) {
        Collection<BasicHeader> copiedHeaders = new HashSet<>();
        for (Header header : defaultHeaders) {
            copiedHeaders.add(new BasicHeader(header.getName(), header.getValue()));
        }
        this.defaultHeaders = copiedHeaders;
    }