proc dump_gif { filename } {
 gui_set_setting -window [gui_get_current_window -types Layout -mru] \
   -setting viewshot -value ${filename}.bmp
 exec convert ${filename}.bmp ${filename}.gif
 file delete ${filename}.bmp
}