Exemple #1
0
 public int getHeaderHeight() {
   return myHeader.getPreferredSize().height;
 }