// if (!showFrame) {
// setShowHeader(false);
// setShowEdges(false);
//configure HeaderControls with toolTips
HeaderControl RssHeader = new HeaderControl(new HeaderIcon("[SKIN]/headerIcons/clipboard.png"), rssHandler);
RssHeader.setTooltip(RSS);
//detect customized Header icon
headerIcon = null;
String portletKey = storedPortlet.getPortletKey();
final String iconUrl = PortletFactory.getRegisteredPortletIcon(portletKey);
if ((iconUrl != null) && (!iconUrl.trim().isEmpty())) {
HeaderIcon icon = new HeaderIcon(iconUrl);
headerIcon = new HeaderControl(icon);
headerIcon.addMouseOverHandler(new MouseOverHandler() {
@Override
public void onMouseOver(MouseOverEvent event) {
headerIcon.setIcon(iconUrl);