public void deactivate() { enabled = false; if (built_figure) { figure_header.finish_building(); disconnect_subfigures_from_builder(built_figure); } }
public void finish_building() { header.finish_building(); }