source ${tvi_directory}/img_open
source ${tvi_directory}/img_save
source ${tvi_directory}/img_terminal
source ${tvi_directory}/img_colon
source ${tvi_directory}/img_coloff
source ${tvi_directory}/img_spell
source ${tvi_directory}/img_bookmark
source ${tvi_directory}/img_compile
source ${tvi_directory}/img_xdvi
source ${tvi_directory}/img_print
source ${tvi_directory}/img_help
