New generated buttons.

3 files changed, 132 insertions, 0 deletions

diff --git a/images/abort.8bit.xpm b/images/abort.8bit.xpm
new file mode 100644
index 00000000..01a9afc8
--- /dev/null
+++ b/images/abort.8bit.xpm
@@ -0,0 +1,44 @@
+/* XPM */
+static char * abort_8bit_xpm[] = {
+"32 32 9 1",
+" 	c None",
+".	c #020202",
+"+	c #860E0E",
+"@	c #8D1F1F",
+"#	c #9A4646",
+"$	c #A05D5D",
+"%	c #AA8282",
+"&	c #AE9292",
+"*	c #BEBDBD",
+"********************************",
+"*****&%%%%%%%%%%%%%%%%%%%%%*****",
+"*****#+++++++++++++++++++++*****",
+"*****#+##################@+*****",
+"*****#+******************#+*****",
+"*****#+**++**********&+**#+*****",
+"*****#+**++*********$++**#+*****",
+"*****#+**++********$++***#+*****",
+"*****#+**++*******$++****#+*****",
+"*****#+**++******$++*****#+*****",
+"*****#+**++*****%++******#+*****",
+"*****#+**++++++++++++++**#+*****",
+"*****#+**++++++++++++++**#+*****",
+"*****#+**++**%++*********#+*****",
+"*****#+**++*%++**********#+*****",
+"*****#+**++$++******&****#+*****",
+"*****#+**++++************#+*****",
+"*****#+**+++********&****#+*****",
+"*****#+*$++***&**********#+*****",
+"*&***#+*@+***************#+*****",
+"*****#+****************&*#+*****",
+"*****$+%%%%%%%%%%%%%%%%%%@+*****",
+"*****$@++++++++++++++++++++*****",
+"*****%#####################*****",
+"********************************",
+"*******..***..************.*****",
+"******.*.***.*************.*****",
+"******.*.***....*...*.......****",
+"*****....***..*...*.**..*..*****",
+"*****.**.**..*.*.**.*..**.******",
+"****..**..*...**...**.***..*****",
+"********************************"};
diff --git a/images/abort.xbm b/images/abort.xbm
new file mode 100644
index 00000000..e93466bb
--- /dev/null
+++ b/images/abort.xbm
@@ -0,0 +1,17 @@
+/* Proof General button */
+#define _width 32
+#define _height 32
+#define _x_hot 0
+#define _y_hot 0
+static char _bits[] = {
+   0x00, 0x00, 0x00, 0x00, 0x6a, 0xbf, 0xdf, 0x57, 0xe0, 0xfb, 0xfd, 0x06,
+   0xca, 0x6e, 0xb7, 0x57, 0x70, 0x00, 0x00, 0x06, 0xe2, 0xae, 0x6a, 0x56,
+   0x68, 0x06, 0x70, 0x06, 0x61, 0x56, 0x75, 0x56, 0x64, 0x06, 0x1c, 0x06,
+   0xe1, 0x56, 0x4d, 0x56, 0x64, 0x06, 0x27, 0x06, 0x64, 0xfe, 0x7f, 0x56,
+   0x50, 0xff, 0x7f, 0x06, 0x62, 0xc6, 0x40, 0x56, 0x64, 0x76, 0x12, 0x05,
+   0x64, 0x76, 0x22, 0x56, 0x50, 0x1f, 0x44, 0x06, 0x65, 0x9e, 0x54, 0x56,
+   0x50, 0x47, 0x00, 0x05, 0x62, 0x8b, 0x2a, 0x56, 0x54, 0x20, 0x40, 0x05,
+   0xe1, 0x56, 0x5b, 0x57, 0xe4, 0xff, 0xff, 0x07, 0x44, 0xdb, 0xb6, 0x56,
+   0x88, 0x00, 0x80, 0x00, 0x91, 0x75, 0x15, 0x55, 0x44, 0x19, 0x20, 0x04,
+   0x51, 0xf1, 0xee, 0x5f, 0xe4, 0xb5, 0xcb, 0x06, 0x24, 0x59, 0x69, 0x52,
+   0xb8, 0x3b, 0xb7, 0x06, 0x11, 0x42, 0x00, 0x54 };
diff --git a/images/abort.xpm b/images/abort.xpm
new file mode 100644
index 00000000..37e86f75
--- /dev/null
+++ b/images/abort.xpm
@@ -0,0 +1,71 @@
+/* XPM */
+static char * abort_xpm[] = {
+"32 32 36 1",
+" 	c None",
+".	c #BCBCBC s backgroundToolBarColor",
+"+	c #B09696",
+"@	c #AA8282",
+"#	c #994747",
+"$	c #870D0D",
+"%	c #8D2121",
+"&	c #BBBABA",
+"*	c #AE9090",
+"=	c #860C0C",
+"-	c #BBB9B9",
+";	c #BCBBBB",
+">	c #A46F6F",
+",	c #A16464",
+"'	c #BAB6B6",
+")	c #994848",
+"!	c #BBB8B8",
+"~	c #9A4A4A",
+"{	c #870E0E",
+"]	c #9A4C4C",
+"^	c #902C2C",
+"/	c #9B5050",
+"(	c #891212",
+"_	c #9C5454",
+":	c #8A1616",
+"<	c #AB8282",
+"[	c #933434",
+"}	c #9E5858",
+"|	c #8B1A1A",
+"1	c #881212",
+"2	c #A87B7B",
+"3	c #9C5252",
+"4	c #9A4B4B",
+"5	c #994949",
+"6	c #BBBBBB",
+"7	c #000000",
+"................................",
+".....+@@@@@@@@@@@@@@@@@@@@@.....",
+".....#$$$$$$$$$$$$$$$$$$$$$.....",
+".....#$##################%$.....",
+".....#$..................#$.....",
+".....#$..$$........&&*=..#$.....",
+".....#$..$$.......-;>==..#$.....",
+".....#$..$$......&;,==...#$.....",
+".....#$..$$....;'&,==....#$.....",
+".....#$..$$...;;.>==.....#$.....",
+".....#$..=$...;.*==......#$.....",
+".....#$..$$$$$$===$$$$$..#$.....",
+".....#$..$$$$$==$$$$$$$..#$.....",
+".....#$..$$.;*==.;.;;....#$.....",
+".....#$..$$-*==.&;;;;....#$.....",
+".....#$..$=>==..;;;.&....#$.....",
+".....#$..$===;;;.;&;;;...#$.....",
+".....)$..$$=!;;;;;;;!....#$.....",
+".....~{.>==;.;..;;;;;;;..#$.....",
+".....]{.^=...............#$.....",
+"...../(..................#$.....",
+"....._:<@@@@@@@@@@@@@@@@@[$.....",
+".....}|1$$$$$$$$$$$$$$$$$$$.....",
+".....2345##################.....",
+"................................",
+".66666.77...77............7...6.",
+".6..667.7...7...6666.66..67666..",
+"......7.766.777767776777777766..",
+"...6677776..776777.7.677677.6...",
+".....76676.77.7.7..7.77667...6..",
+"6...776677.77766777..76.677...6.",
+"................................"};