images/buffer-export_ps.xpm \
images/buffer-export_text.xpm \
images/buffer-new.xpm \
images/buffer-reload.xpm \
images/buffer-update_dvi.xpm \
images/buffer-export_ps.xpm \
images/buffer-export_text.xpm \
images/buffer-new.xpm \
images/buffer-reload.xpm \
images/buffer-update_dvi.xpm \