refresh_graphics()
Redraw all graphics quibs whose graphics_update=’central’.
See also
reset_file_loading_quibs, reset_random_quibs, reset_impure_quibs, Quib.graphics_update, Quib.is_graphics, GraphicsUpdateType
reset_file_loading_quibs
reset_random_quibs
reset_impure_quibs
Quib.graphics_update
Quib.is_graphics
GraphicsUpdateType