From c53e00dc3fdd41b0eff45149ddb14fa3a6612eba Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 22 Sep 1999 12:45:26 +0000
Subject: Renamed file

---
 images/show.8bit.xpm  | 44 --------------------------------------------
 images/show.xbm       | 17 -----------------
 images/state.8bit.xpm | 44 ++++++++++++++++++++++++++++++++++++++++++++
 images/state.xbm      | 17 +++++++++++++++++
 4 files changed, 61 insertions(+), 61 deletions(-)
 delete mode 100644 images/show.8bit.xpm
 delete mode 100644 images/show.xbm
 create mode 100644 images/state.8bit.xpm
 create mode 100644 images/state.xbm

(limited to 'images')

diff --git a/images/show.8bit.xpm b/images/show.8bit.xpm
deleted file mode 100644
index f7c5609e..00000000
--- a/images/show.8bit.xpm
+++ /dev/null
@@ -1,44 +0,0 @@
-/* XPM */
-static char * show_8bit_xpm[] = {
-"32 32 9 1",
-" 	c None",
-".	c #050507",
-"+	c #3E3E3C",
-"@	c #8B7B7B",
-"#	c #959494",
-"$	c #FEFEFC",
-"%	c #711514",
-"&	c #C1C1BF",
-"*	c #914847",
-"&#@#@@#@@#@@#@@#@@#@@#@@#@@#@@#&",
-"&*%%%%%%%%%%%%%%%%%%%%%%%%%%%%%&",
-"&*%**************************%%&",
-"&*%&&&&&&&&&&&&&&&&&&&&&&&&&&*%&",
-"&*%&&&&&#@@@#&&&&&@@@@&&&&&&&*%&",
-"&*%&#&&*%...%*&&#*....%@#&&&&*%&",
-"&*%&&#++@&$&#+%@.+&$$&*+*&&&&*%&",
-"&*%&&@.&$$$$$&..+$$$$$$@.&#&&*%&",
-"&*%&&.@$$$$$$$@.&$$$$$$&+*&&&*%&",
-"&*%&&.#$$$$$$$#.$$$$$$$$+%@&&*%&",
-"&*%&&.#$$$$$$$#.$$$$$$$$++@&#*%&",
-"&*%&&.#$&#$$$$#.$$@&$$$$++@&&*%&",
-"&*%&&.#&..#$$$#.$@..$$$$+.@&&*%&",
-"&*%&&++&+.&$$$+.##.+&$$#+*@&&*%&",
-"&*%&&@.&&&$$&&..+&&$$$&@.@@&&*%&",
-"&*%&&&@.+@##+.+@+.@@##..@@@&&*%&",
-"&*%&&&&#+...+@@@&@....+@@@#&&*%&",
-"&*%&&&&&&@@@@@@&&&#@@#@@@&&&&*%&",
-"&*%&#&&&&&####&&&&&&####&&&#&*%&",
-"&*%&&&&#&&&&&&&&&&&&&&&&&&&&&*%&",
-"&*%@@@#@#@@@@@@@@@@@@@@@@@@@@*%&",
-"&*%%%%%%%%%%%%%%%%%%%%%%%%%%%%%&",
-"&******************************&",
-"&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&",
-"&&&&&&&&&&@@&&&&&&&&&&&&&&&&&&&&",
-"&&&&&@%+%&+%&&&&&&&#&&&&&#&&#&&&",
-"&&#&&++#&&+@*+&&*+*&%##@&%#&&&&&",
-"&&&&&#.+&&.++.&+*&.@+@*+&.#&&&&&",
-"&&&&#&#.+&.@@+#.&&.#@++.@@&&#&&&",
-"#&&&#@&+@@.&++@.#++&@.#.+&&&&&&&",
-"&&&&#++@&@@&@+&++@&&#@&+&&&&&#&&",
-"&&&&&&&#&&&&&&&&&&&&&&&&&&&&&&&&"};
diff --git a/images/show.xbm b/images/show.xbm
deleted file mode 100644
index 908868bb..00000000
--- a/images/show.xbm
+++ /dev/null
@@ -1,17 +0,0 @@
-/* Proof General button */
-#define _width 32
-#define _height 32
-#define _x_hot 0
-#define _y_hot 0
-static char _bits[] = {
-   0xaa, 0xaa, 0xaa, 0x2a, 0xfc, 0xff, 0xff, 0x7f, 0x56, 0x55, 0x55, 0x75,
-   0x46, 0x10, 0x04, 0x61, 0x16, 0x57, 0x39, 0x64, 0xa6, 0x3f, 0xfe, 0x65,
-   0xa6, 0xe0, 0x43, 0x61, 0x66, 0xc0, 0x01, 0x65, 0x26, 0x80, 0x80, 0x63,
-   0x6c, 0x80, 0x00, 0x67, 0x26, 0xc0, 0x00, 0x55, 0x66, 0x82, 0x04, 0x67,
-   0x36, 0xc3, 0x0c, 0x63, 0x66, 0xc3, 0x0d, 0x66, 0x66, 0xc0, 0x81, 0x65,
-   0xc6, 0x7b, 0xeb, 0x65, 0x06, 0x5f, 0x7e, 0x65, 0x56, 0x54, 0x48, 0x61,
-   0x06, 0x29, 0x51, 0x64, 0x2c, 0x01, 0x85, 0x64, 0x56, 0x7d, 0xb5, 0x6a,
-   0xfe, 0xef, 0xff, 0x7f, 0x6a, 0x5d, 0x6d, 0x5b, 0x02, 0x40, 0x00, 0x00,
-   0xa8, 0x8a, 0xaa, 0xaa, 0xc2, 0x1d, 0x08, 0x12, 0x74, 0xb4, 0xb7, 0x42,
-   0xc0, 0x3c, 0xd5, 0x0a, 0xaa, 0xa5, 0xec, 0x52, 0xa1, 0xf6, 0xa6, 0x03,
-   0x74, 0x92, 0xa9, 0xa8, 0x80, 0x12, 0x01, 0x01 };
diff --git a/images/state.8bit.xpm b/images/state.8bit.xpm
new file mode 100644
index 00000000..f7c5609e
--- /dev/null
+++ b/images/state.8bit.xpm
@@ -0,0 +1,44 @@
+/* XPM */
+static char * show_8bit_xpm[] = {
+"32 32 9 1",
+" 	c None",
+".	c #050507",
+"+	c #3E3E3C",
+"@	c #8B7B7B",
+"#	c #959494",
+"$	c #FEFEFC",
+"%	c #711514",
+"&	c #C1C1BF",
+"*	c #914847",
+"&#@#@@#@@#@@#@@#@@#@@#@@#@@#@@#&",
+"&*%%%%%%%%%%%%%%%%%%%%%%%%%%%%%&",
+"&*%**************************%%&",
+"&*%&&&&&&&&&&&&&&&&&&&&&&&&&&*%&",
+"&*%&&&&&#@@@#&&&&&@@@@&&&&&&&*%&",
+"&*%&#&&*%...%*&&#*....%@#&&&&*%&",
+"&*%&&#++@&$&#+%@.+&$$&*+*&&&&*%&",
+"&*%&&@.&$$$$$&..+$$$$$$@.&#&&*%&",
+"&*%&&.@$$$$$$$@.&$$$$$$&+*&&&*%&",
+"&*%&&.#$$$$$$$#.$$$$$$$$+%@&&*%&",
+"&*%&&.#$$$$$$$#.$$$$$$$$++@&#*%&",
+"&*%&&.#$&#$$$$#.$$@&$$$$++@&&*%&",
+"&*%&&.#&..#$$$#.$@..$$$$+.@&&*%&",
+"&*%&&++&+.&$$$+.##.+&$$#+*@&&*%&",
+"&*%&&@.&&&$$&&..+&&$$$&@.@@&&*%&",
+"&*%&&&@.+@##+.+@+.@@##..@@@&&*%&",
+"&*%&&&&#+...+@@@&@....+@@@#&&*%&",
+"&*%&&&&&&@@@@@@&&&#@@#@@@&&&&*%&",
+"&*%&#&&&&&####&&&&&&####&&&#&*%&",
+"&*%&&&&#&&&&&&&&&&&&&&&&&&&&&*%&",
+"&*%@@@#@#@@@@@@@@@@@@@@@@@@@@*%&",
+"&*%%%%%%%%%%%%%%%%%%%%%%%%%%%%%&",
+"&******************************&",
+"&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&",
+"&&&&&&&&&&@@&&&&&&&&&&&&&&&&&&&&",
+"&&&&&@%+%&+%&&&&&&&#&&&&&#&&#&&&",
+"&&#&&++#&&+@*+&&*+*&%##@&%#&&&&&",
+"&&&&&#.+&&.++.&+*&.@+@*+&.#&&&&&",
+"&&&&#&#.+&.@@+#.&&.#@++.@@&&#&&&",
+"#&&&#@&+@@.&++@.#++&@.#.+&&&&&&&",
+"&&&&#++@&@@&@+&++@&&#@&+&&&&&#&&",
+"&&&&&&&#&&&&&&&&&&&&&&&&&&&&&&&&"};
diff --git a/images/state.xbm b/images/state.xbm
new file mode 100644
index 00000000..908868bb
--- /dev/null
+++ b/images/state.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[] = {
+   0xaa, 0xaa, 0xaa, 0x2a, 0xfc, 0xff, 0xff, 0x7f, 0x56, 0x55, 0x55, 0x75,
+   0x46, 0x10, 0x04, 0x61, 0x16, 0x57, 0x39, 0x64, 0xa6, 0x3f, 0xfe, 0x65,
+   0xa6, 0xe0, 0x43, 0x61, 0x66, 0xc0, 0x01, 0x65, 0x26, 0x80, 0x80, 0x63,
+   0x6c, 0x80, 0x00, 0x67, 0x26, 0xc0, 0x00, 0x55, 0x66, 0x82, 0x04, 0x67,
+   0x36, 0xc3, 0x0c, 0x63, 0x66, 0xc3, 0x0d, 0x66, 0x66, 0xc0, 0x81, 0x65,
+   0xc6, 0x7b, 0xeb, 0x65, 0x06, 0x5f, 0x7e, 0x65, 0x56, 0x54, 0x48, 0x61,
+   0x06, 0x29, 0x51, 0x64, 0x2c, 0x01, 0x85, 0x64, 0x56, 0x7d, 0xb5, 0x6a,
+   0xfe, 0xef, 0xff, 0x7f, 0x6a, 0x5d, 0x6d, 0x5b, 0x02, 0x40, 0x00, 0x00,
+   0xa8, 0x8a, 0xaa, 0xaa, 0xc2, 0x1d, 0x08, 0x12, 0x74, 0xb4, 0xb7, 0x42,
+   0xc0, 0x3c, 0xd5, 0x0a, 0xaa, 0xa5, 0xec, 0x52, 0xa1, 0xf6, 0xa6, 0x03,
+   0x74, 0x92, 0xa9, 0xa8, 0x80, 0x12, 0x01, 0x01 };
-- 
cgit v1.2.3