/* XPM */
static char *undo_xpm[] = {
/* width height num_colors chars_per_pixel */
"    16    15        3            1",
/* colors */
". c #000080",
"# c #c0c0c0",
"a c #808080",
/* pixels */
"################",
"################",
"################",
"################",
"########....a###",
"##.###..####.a##",
"##..#.#######.##",
"##...########.##",
"##....#######.##",
"##.....#####.a##",
"###########a.###",
"################",
"################",
"################",
"################"
};