public int getHeaderHeight() {
   return myHeader.getPreferredSize().height;
 }
 public void setTitleActions(AnAction[] actions) {
   myHeader.setAdditionalTitleActions(actions);
 }