public void saveSize(){
  m_History.setProperty(WIDTH,"" + getSize().width);
  m_History.setProperty(HEIGHT,"" + getSize().height);
  saveHistory();
}

public void saveSize ( ) { m_History . setProperty ( WIDTH , "" + getSize ( ) . width ) ; m_History . setProperty ( HEIGHT , "" + getSize ( ) . height ) ; saveHistory ( ) ; }
obtains the size of the panel and saves it in the history .
