app/bin/bitmaps/undo.xpm


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103

static char *undo_x16[] = {
	"16 16 6 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#996600",
	"2	c	#CC6600",
	"3	c	#CC9900",
	"4	c	#FFCC00",
	"                ",
	"      1         ",
	"     11         ",
	"   13411        ",
	"  134443311     ",
	"  1344444432    ",
	"   1342114431   ",
	"     11  1443   ",
	"      1   1441  ",
	"           141  ",
	"           1331 ",
	"            131 ",
	"            131 ",
	"            131 ",
	"             11 ",
	"                "};

static char *undo_x24[] = {
	"24 24 7 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#996600",
	"2	c	#CC6600",
	"3	c	#CC9900",
	"4	c	#FF9900",
	"5	c	#FFCC00",
	"                        ",
	"                        ",
	"         1              ",
	"        11              ",
	"      12531             ",
	"     1355311            ",
	"   135555533311         ",
	"   15555555555411       ",
	"    13555555555531      ",
	"     13553113555531     ",
	"       2531  135552     ",
	"        111   135551    ",
	"         1      3553    ",
	"                13551   ",
	"                 1551   ",
	"                 1353   ",
	"                  1531  ",
	"                  1551  ",
	"                  1351  ",
	"                   151  ",
	"                   151  ",
	"                   131  ",
	"                    11  ",
	"                        "};

static char *undo_x32[] = {
	"32 32 7 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#996600",
	"2	c	#CC6600",
	"3	c	#CC9900",
	"4	c	#FF9900",
	"5	c	#FFCC00",
	"                                ",
	"                                ",
	"                                ",
	"            1                   ",
	"           121                  ",
	"         12531                  ",
	"        135531                  ",
	"      13555551111               ",
	"     135555555433211            ",
	"    15555555555555531           ",
	"    1355555555555555531         ",
	"      255555555555555531        ",
	"       135555112355555531       ",
	"        125551  113555552       ",
	"          1351    12555551      ",
	"           121      2555531     ",
	"            11       255551     ",
	"                      35552     ",
	"                      135531    ",
	"                       15551    ",
	"                       13551    ",
	"                        15531   ",
	"                        14531   ",
	"                         3551   ",
	"                         1551   ",
	"                         1551   ",
	"                         1351   ",
	"                         1351   ",
	"                          151   ",
	"                          111   ",
	"                                ",
	"                                "};

static char **undo_xpm[3] = { undo_x16, undo_x24, undo_x32 };