From 96b54f1eaf0e203eb1c1e7625a6f14ae16e425ad Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 19 Nov 1999 19:03:34 +0000
Subject: New button

---
 images/goto.8bit.xpm | 44 ++++++++++++++++++++++++++++
 images/goto.xbm      | 17 +++++++++++
 images/goto.xpm      | 81 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 3 files changed, 142 insertions(+)
 create mode 100644 images/goto.8bit.xpm
 create mode 100644 images/goto.xbm
 create mode 100644 images/goto.xpm

(limited to 'images')

diff --git a/images/goto.8bit.xpm b/images/goto.8bit.xpm
new file mode 100644
index 00000000..716b7638
--- /dev/null
+++ b/images/goto.8bit.xpm
@@ -0,0 +1,44 @@
+/* XPM */
+static char * goto_8bit_xpm[] = {
+"32 32 9 1",
+" 	c None",
+".	c #020204",
+"+	c #642221",
+"@	c #9A4644",
+"#	c #6F6060",
+"$	c #7E7E7C",
+"%	c #AA8284",
+"&	c #BDBDBB",
+"*	c #860E0C",
+"&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&",
+"&&&&&%%%%%%%%%%%%%%%%%%%%%%&&&&&",
+"&&&&&@*********************&&&&&",
+"&&&&&@*@@@@@@@@@@@@@@@@@@**&&&&&",
+"&&&&&@*&&&&&&&&&&&&&&&&&&@*&&&&&",
+"&&&&&@*&&&&&&&&&&&&&&&&&&@*&&&&&",
+"&&&&&@*&*&&&&&&&&&&&&&&*&@*&&&&&",
+"&&&&&@*&**@&&&&&&&&&&#**&@*&&&&&",
+"&&&&&@*&****&&&&&&&&****&@*&&&&&",
+"&&&&&@*&*****&&&&&&*****&@*&&&&&",
+"&&&&&@*&******&**&******&@*&&&&&",
+"&&&&&@*&****************&@*&&&&&",
+"&&&&&@*&****************&@*&&&&&",
+"&&&&&@*&****************&@*&&&&&",
+"&&&&&@*&******&**&******&@*&&&&&",
+"&&&&&@*&*****&&&&&&*****&@*&&&&&",
+"&&&&&@*&****&&&&&&&&****&@*&&&&&",
+"&&&&&@*&**@&&&&&&&&&&#**&@*&&&&&",
+"&&&&&@*&%&&&&&&&&&&&&&&%&@*&&&&&",
+"&&&&&@*&&&&&&&&&&&&&&&&&&@*&&&&&",
+"&&&&&@*&&&&&&&&&&&&&&&&&&@*&&&&&",
+"&&&&&@*%%%%%%%%%%%%%%%%%%+*&&&&&",
+"&&&&&@*********************&&&&&",
+"&&&&&%@@@@@@@@@@@@@@@@@@@@@&&&&&",
+"&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&",
+"&&&&&&&&#.++%&&&&&%$&&&&&&&&&&&&",
+"&&&&&&&+.&&&$&#+#&+.#&%+#%&&&&&&",
+"&&&&&&&.&&&&&##&.$##&$+&++&&&&&&",
+"&&&&&&$.&&..$.&&.$.$&.$&##&&&&&&",
+"&&&&&&&.$&+#$.&+#&.$&.#$.$&&&&&&",
+"&&&&&&&$#+#$&#+#&&##&$##&&&&&&&&",
+"&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&"};
diff --git a/images/goto.xbm b/images/goto.xbm
new file mode 100644
index 00000000..4cdd30c0
--- /dev/null
+++ b/images/goto.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, 0xaa, 0xdf, 0xef, 0x57, 0xf0, 0xfd, 0x7e, 0x07,
+   0x62, 0xb7, 0xeb, 0x56, 0x64, 0x00, 0x10, 0x06, 0xe0, 0xaa, 0x42, 0x56,
+   0x6a, 0x01, 0x94, 0x06, 0x40, 0x57, 0xe1, 0x56, 0x6a, 0x0f, 0xf4, 0x06,
+   0x60, 0x5f, 0xf9, 0x56, 0x6a, 0xbf, 0xfd, 0x06, 0x60, 0xff, 0xff, 0x56,
+   0x6a, 0xff, 0xff, 0x06, 0x60, 0xff, 0xf7, 0x56, 0x62, 0xbf, 0xfd, 0x06,
+   0x64, 0x1d, 0xf8, 0x56, 0x62, 0x4f, 0xf1, 0x06, 0x64, 0x0b, 0xc2, 0x56,
+   0x68, 0x50, 0x14, 0x06, 0xe1, 0x82, 0x40, 0x56, 0x64, 0x14, 0x15, 0x05,
+   0xe4, 0x6a, 0xb5, 0x56, 0xe0, 0xff, 0xff, 0x07, 0xa5, 0xad, 0xd6, 0x56,
+   0x08, 0x10, 0x21, 0x00, 0x51, 0x2f, 0x4c, 0x55, 0x84, 0xd1, 0x9d, 0x01,
+   0x90, 0x44, 0x6b, 0x57, 0xca, 0x3e, 0x25, 0x01, 0x90, 0xb4, 0xed, 0x57,
+   0x42, 0x67, 0x2a, 0x00, 0x14, 0x84, 0xa0, 0x54 };
diff --git a/images/goto.xpm b/images/goto.xpm
new file mode 100644
index 00000000..34624f76
--- /dev/null
+++ b/images/goto.xpm
@@ -0,0 +1,81 @@
+/* XPM */
+static char * goto_xpm[] = {
+"32 32 46 1",
+" 	c None",
+".	c #BCBCBC s backgroundToolBarColor",
+"+	c #B09696",
+"@	c #AA8282",
+"#	c #994747",
+"$	c #870D0D",
+"%	c #8D2121",
+"&	c #BCBBBB",
+"*	c #BBBABA",
+"=	c #BBB8B8",
+"-	c #BAB7B7",
+";	c #BAB6B6",
+">	c #BBB9B9",
+",	c #BBBBBB",
+"'	c #881212",
+")	c #881111",
+"!	c #A06262",
+"~	c #891313",
+"{	c #8B1B1B",
+"]	c #891414",
+"^	c #891515",
+"/	c #860C0C",
+"(	c #860D0D",
+"_	c #8C1A1A",
+":	c #870909",
+"<	c #BAB8B8",
+"[	c #8A1616",
+"}	c #870E0E",
+"|	c #850D0D",
+"1	c #850E0E",
+"2	c #860E0E",
+"3	c #891212",
+"4	c #8B1A1A",
+"5	c #BAB5B5",
+"6	c #AC8888",
+"7	c #933434",
+"8	c #A56E6E",
+"9	c #545454",
+"0	c #151515",
+"a	c #3E3E3E",
+"b	c #2A2A2A",
+"c	c #929292",
+"d	c #A7A7A7",
+"e	c #7D7D7D",
+"f	c #686868",
+"g	c #000000",
+"................................",
+".....+@@@@@@@@@@@@@@@@@@@@@.....",
+".....#$$$$$$$$$$$$$$$$$$$$$.....",
+".....#$##################%$.....",
+".....#$....&*===-;->*,...#$.....",
+".....#$..................#$.....",
+".....#$.'-=...........-',#$.....",
+".....#$.')!..........!)',#$.....",
+".....#$&~$'{........{'$~*#$.....",
+".....#$*]$$$$......$$$$]>#$.....",
+".....#$*^$$/$(._:.($/$$^<#$.....",
+".....#$*[$$$$(}((}($$$$[<#$.....",
+".....#$*^$$$/((||((/$$$^<#$.....",
+".....#$&]$$$/}1221}/$$$]>#$.....",
+".....#$&3$$$$2.4_.2$$$$3*#$.....",
+".....#$.)$$}~......~}$$),#$.....",
+".....#$.}$})..5<<5..)}$},#$.....",
+".....#$.$[!&&......&&![$.#$.....",
+".....#$.6..............6.#$.....",
+".....#$..................#$.....",
+".....#$..................#$.....",
+".....#$@@@@@@@@@@@@@@@@@@7$.....",
+".....#$$$$$$$$$$$$$$$$$$$$$.....",
+".....8#####################.....",
+"................................",
+"........90abc.....de............",
+".......ab..dd.faf.b0f.ca9d......",
+"......dgc....afdgea9.eb.ba......",
+"......eg..00fg..gcbe.0e.a9......",
+"......dge.a9egdaa.ge.gfe0d......",
+".......caa9d.9af..9a.ea9d.......",
+"................................"};
-- 
cgit v1.2.3