diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-09-22 15:53:28 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-09-22 15:53:28 +0000 |
commit | 569f9f7c34b9ef168e2bc32937865bc7ead32dec (patch) | |
tree | 3bc1d5d375b912c8ed4df0181c7209f669ec88f1 /images/help.xbm | |
parent | 7945240c005db8002bd8baf9696726130e476125 (diff) |
New buttons
Diffstat (limited to 'images/help.xbm')
-rw-r--r-- | images/help.xbm | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/images/help.xbm b/images/help.xbm new file mode 100644 index 00000000..f60d9859 --- /dev/null +++ b/images/help.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[] = { + 0x54, 0x55, 0x55, 0x55, 0xfe, 0xff, 0xff, 0x7f, 0xde, 0x5b, 0xef, 0x7d, + 0x7c, 0x5f, 0xbd, 0x77, 0xfe, 0x5f, 0xd7, 0x7f, 0xee, 0x7a, 0x7d, 0x77, + 0xfe, 0xff, 0xd5, 0x7f, 0x7a, 0xdb, 0x77, 0x77, 0xee, 0xbf, 0xde, 0x7f, + 0xfe, 0xb6, 0xf8, 0x7d, 0xde, 0xdb, 0x73, 0x77, 0xfe, 0xbf, 0xe7, 0x7f, + 0x76, 0xbb, 0xf3, 0x6f, 0xfe, 0x3b, 0xa7, 0x7d, 0xee, 0xab, 0xe8, 0x7f, + 0xbe, 0xfb, 0xf3, 0x77, 0xfe, 0xdb, 0xdd, 0x7e, 0xec, 0xb7, 0xf6, 0x7f, + 0xbe, 0x5b, 0xf9, 0x76, 0xfe, 0x73, 0xd0, 0x7f, 0x76, 0x2f, 0xff, 0x7d, + 0xee, 0xff, 0xba, 0x6b, 0x7e, 0xff, 0xff, 0x7f, 0x00, 0x00, 0x00, 0x00, + 0x54, 0xa2, 0x24, 0x55, 0x81, 0x9b, 0x4c, 0x00, 0x14, 0x99, 0xad, 0x55, + 0xa0, 0x6f, 0xe9, 0x03, 0x8a, 0xe9, 0x24, 0xa9, 0x90, 0x6d, 0xb5, 0x03, + 0xc2, 0xac, 0x6e, 0x28, 0x14, 0x40, 0x30, 0x41 }; |