예제 #1
0
 public void deactivate()
 {
     enabled = false;
     if (built_figure)
     {
         figure_header.finish_building();
         disconnect_subfigures_from_builder(built_figure);
     }
 }
예제 #2
0
 public void finish_building()
 {
     header.finish_building();
 }