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