aboutsummaryrefslogtreecommitdiffhomepage
path: root/images
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1999-11-19 19:03:34 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1999-11-19 19:03:34 +0000
commit96b54f1eaf0e203eb1c1e7625a6f14ae16e425ad (patch)
tree43556add83e975913aa6cc3b674c5729b8d51a56 /images
parent779def3226ef45b82fd95ac506caea6f0afb92bd (diff)
New button
Diffstat (limited to 'images')
-rw-r--r--images/goto.8bit.xpm44
-rw-r--r--images/goto.xbm17
-rw-r--r--images/goto.xpm81
3 files changed, 142 insertions, 0 deletions
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.......",
+"................................"};