public void repaint_all(){
  work_frame.repaint();
  for (  GuiSubWindowSavable cur_subwindow : permanent_subwindows)   cur_subwindow.repaint();
}

public void repaint_all ( ) { work_frame . repaint ( ) ; for ( GuiSubWindowSavable cur_subwindow : permanent_subwindows ) cur_subwindow . repaint ( ) ; }
repaints this board frame and all the subwindows of the board .
