diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-07 15:47:02 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-07 15:47:02 +0000 |
| commit | 2b50aaa14c537c89d2c51c905caeb88f2c80e3d9 (patch) | |
| tree | 9a4554157038223b473dd41bb587f4d0bcf8be21 /images/use.xbm | |
| parent | 8826dc21b35ac75bdf4c17c8c9a334d4072f4cbd (diff) | |
Added for convenience.
Diffstat (limited to 'images/use.xbm')
| -rw-r--r-- | images/use.xbm | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/images/use.xbm b/images/use.xbm new file mode 100644 index 00000000..63da78e4 --- /dev/null +++ b/images/use.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, 0xe0, 0xff, 0xff, 0x07, 0xe0, 0xff, 0xff, 0x07, + 0x60, 0x22, 0x22, 0x06, 0x60, 0x00, 0x00, 0x06, 0x60, 0x00, 0x00, 0x06, + 0x60, 0x00, 0x00, 0x06, 0x60, 0x00, 0x00, 0x06, 0x60, 0xfe, 0x7f, 0x06, + 0x60, 0xfe, 0x7f, 0x06, 0x60, 0x00, 0x00, 0x06, 0x60, 0xfe, 0x7f, 0x06, + 0x60, 0xf8, 0x1f, 0x06, 0x60, 0xf0, 0x0f, 0x06, 0x60, 0xf0, 0x07, 0x06, + 0x60, 0xc0, 0x07, 0x06, 0x60, 0xc0, 0x01, 0x06, 0x60, 0x80, 0x00, 0x06, + 0x60, 0x00, 0x00, 0x06, 0x60, 0x00, 0x00, 0x06, 0x60, 0x00, 0x00, 0x06, + 0xe0, 0xff, 0xff, 0x07, 0xe0, 0xff, 0xff, 0x07, 0x40, 0x22, 0x22, 0x04, + 0x00, 0x00, 0x00, 0x00, 0x00, 0x6e, 0x00, 0x00, 0x00, 0xa6, 0x77, 0x00, + 0x00, 0xa6, 0x69, 0x00, 0x00, 0xa2, 0x3b, 0x00, 0x00, 0x56, 0x4e, 0x00, + 0x00, 0xce, 0x39, 0x00, 0x00, 0x00, 0x00, 0x00 }; |