manual_get_image_file

manual_get_image_file figure_id

Defined in tcl/manual-defs.tcl

Returns the correct image file for a figure

Parameters:

figure_id