コード例 #1
0
 public int getHeaderHeight() {
   return myHeader.getPreferredSize().height;
 }
コード例 #2
0
 public void setTitleActions(AnAction[] actions) {
   myHeader.setAdditionalTitleActions(actions);
 }